commit: fe1414d1fa7a4453a871dd3587384d1c6d432ce2
Author: Sven Vermeulen <sven.vermeulen <AT> siphos <DOT> be>
AuthorDate: Fri Aug 22 18:07:09 2014 +0000
Commit: Jason Zaman <gentoo <AT> perfinion <DOT> com>
CommitDate: Fri Aug 22 18:07:09 2014 +0000
URL:
http://sources.gentoo.org/gitweb/?p=proj/hardened-refpolicy.git;a=commit;h=fe1414d1
insmod deletes obsolete module deps (make modules_install)
---
policy/modules/system/modutils.te | 2 ++
1 file changed, 2 insertions(+)
diff --git a/policy/modules/system/modutils.te
b/policy/modules/system/modutils.te
index 419b826..b17ad6c 100644
--- a/policy/modules/system/modutils.te
+++ b/policy/modules/system/modutils.te
@@ -337,6 +337,8 @@ ifdef(`distro_gentoo',`
# insmod_t
#
+ # During "make modules_install" insmod removes old/previous deps
+ delete_files_pattern(insmod_t, modules_object_t, modules_dep_t)
# During "make modules_install" temp files created by admin
# that invoked the command are later used by kmod.
userdom_manage_user_tmp_files(insmod_t)
