From d8b631471aa66b38a13c15dfbcc17497c3bcc5d7 Mon Sep 17 00:00:00 2001 From: Dominick Grift Date: Mon, 14 Feb 2011 21:24:16 +0100 Subject: [PATCH] This is not a single file but a directory. The -- causes /dev/.udev to be labelled device_t instead of udev_tbl_t. Signed-off-by: Dominick Grift --- policy/modules/system/udev.fc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/policy/modules/system/udev.fc b/policy/modules/system/udev.fc index 029168576..d1c22f3bb 100644 --- a/policy/modules/system/udev.fc +++ b/policy/modules/system/udev.fc @@ -1,4 +1,4 @@ -/dev/\.udev(/.*)? -- gen_context(system_u:object_r:udev_tbl_t,s0) +/dev/\.udev(/.*)? gen_context(system_u:object_r:udev_tbl_t,s0) /dev/\.udevdb -- gen_context(system_u:object_r:udev_tbl_t,s0) /dev/udev\.tbl -- gen_context(system_u:object_r:udev_tbl_t,s0)