From 7400d12dccd5b8e8ea77000f87a5ba9f5396e1ee Mon Sep 17 00:00:00 2001 From: Chris PeBenito Date: Mar 14 2006 21:52:46 +0000 Subject: remove unneeded rule --- diff --git a/refpolicy/policy/modules/kernel/devices.if b/refpolicy/policy/modules/kernel/devices.if index f0f8328..85a3c37 100644 --- a/refpolicy/policy/modules/kernel/devices.if +++ b/refpolicy/policy/modules/kernel/devices.if @@ -586,7 +586,6 @@ interface(`dev_getattr_all_blk_files',` attribute device_node; ') - allow $1 device_t:dir r_dir_perms; allow $1 device_node:blk_file getattr; ') @@ -623,7 +622,6 @@ interface(`dev_getattr_all_chr_files',` attribute device_node; ') - allow $1 device_t:dir r_dir_perms; allow $1 device_node:chr_file getattr; ')