From 2999cea1f20c14e58e9e06dda19a4ddec28d2bbb Mon Sep 17 00:00:00 2001
From: Chris PeBenito <cpebenito@tresys.com>
Date: Nov 14 2007 20:12:44 +0000
Subject: trunk: remove duplicate specifiction for /usr/lib/devices on debian.


---

diff --git a/policy/modules/kernel/devices.fc b/policy/modules/kernel/devices.fc
index 6145844..98b8424 100644
--- a/policy/modules/kernel/devices.fc
+++ b/policy/modules/kernel/devices.fc
@@ -114,14 +114,9 @@ ifdef(`distro_suse', `
 /dev/xen/blktap.*	-c	gen_context(system_u:object_r:xen_device_t,s0)
 /dev/xen/evtchn		-c	gen_context(system_u:object_r:xen_device_t,s0)
 
-/etc/udev/devices -d	gen_context(system_u:object_r:device_t,s0)
+/etc/udev/devices	-d	gen_context(system_u:object_r:device_t,s0)
 
-/lib/udev/devices -d	gen_context(system_u:object_r:device_t,s0)
-
-ifdef(`distro_debian',`
-# used by udev init script as temporary mount point
-/lib/udev/devices	-d		gen_context(system_u:object_r:device_t,s0)
-')
+/lib/udev/devices	-d	gen_context(system_u:object_r:device_t,s0)
 
 ifdef(`distro_gentoo',`
 # used by init scripts to initally populate udev /dev