We have to get rid of java_exec_t, mono_exec_t, execmem_exec_t to stop templates...

diff --git a/policy/modules/kernel/corecommands.te b/policy/modules/kernel/corecommands.te
index 952797100ec9877fa2071632b80ef48f6a6e623b..23a1c3c2a98eaffffeb8417d2d62bdbc10556a0c 100644 (file)
--- a/policy/modules/kernel/corecommands.te
+++ b/policy/modules/kernel/corecommands.te
@@ -13,7 +13,7 @@ attribute exec_type;
 #
 # bin_t is the type of files in the system bin/sbin directories.
 #
-type bin_t alias { ls_exec_t sbin_t java_exec_t execmem_exec_t mono_exec_t };
+type bin_t alias { ls_exec_t sbin_t };
 corecmd_executable_file(bin_t)
 dev_associate(bin_t)   #For /dev/MAKEDEV