diff --git a/policy-F13.patch b/policy-F13.patch index c2b3dd2..f504896 100644 --- a/policy-F13.patch +++ b/policy-F13.patch @@ -637,8 +637,34 @@ diff -b -B --ignore-all-space --exclude-from=exclude -N -u -r nsaserefpolicy/pol diff -b -B --ignore-all-space --exclude-from=exclude -N -u -r nsaserefpolicy/policy/modules/admin/prelink.if serefpolicy-3.7.4/policy/modules/admin/prelink.if --- nsaserefpolicy/policy/modules/admin/prelink.if 2009-09-16 09:09:20.000000000 -0400 -+++ serefpolicy-3.7.4/policy/modules/admin/prelink.if 2009-12-04 12:33:34.000000000 -0500 -@@ -151,11 +151,11 @@ ++++ serefpolicy-3.7.4/policy/modules/admin/prelink.if 2009-12-10 15:16:44.000000000 -0500 +@@ -21,6 +21,25 @@ + + ######################################## + ## <summary> ++## Execute the prelink program in the current domain. ++## </summary> ++## <param name="domain"> ++## <summary> ++## Domain allowed access. ++## </summary> ++## </param> ++# ++interface(`prelink_exec',` ++ gen_require(` ++ type prelink_exec_t; ++ ') ++ ++ corecmd_search_bin($1) ++ can_exec($1, prelink_exec_t) ++') ++ ++######################################## ++## <summary> + ## Execute the prelink program in the prelink domain. + ## </summary> + ## <param name="domain"> +@@ -151,11 +170,11 @@ ## </summary> ## </param> #