diff --git a/policy/modules/kernel/corecommands.fc b/policy/modules/kernel/corecommands.fc index 45f81e0ef..ab494a017 100644 --- a/policy/modules/kernel/corecommands.fc +++ b/policy/modules/kernel/corecommands.fc @@ -288,8 +288,8 @@ ifdef(`distro_gentoo',` /usr/share/(.*/)?bin(/.*)? gen_context(system_u:object_r:bin_t,s0) /usr/share/ajaxterm/ajaxterm\.py.* -- gen_context(system_u:object_r:bin_t,s0) /usr/share/ajaxterm/qweb\.py.* -- gen_context(system_u:object_r:bin_t,s0) -/usr/share/apr(-\d)?/build/[^/]+\.sh -- gen_context(system_u:object_r:bin_t,s0) -/usr/share/apr(-\d)?/build/libtool -- gen_context(system_u:object_r:bin_t,s0) +/usr/share/apr(-[0-9])?/build/[^/]+\.sh -- gen_context(system_u:object_r:bin_t,s0) +/usr/share/apr(-[0-9])?/build/libtool -- gen_context(system_u:object_r:bin_t,s0) /usr/share/build-1/[^/]+\.sh -- gen_context(system_u:object_r:bin_t,s0) /usr/share/build-1/libtool -- gen_context(system_u:object_r:bin_t,s0) /usr/share/dayplanner/dayplanner -- gen_context(system_u:object_r:bin_t,s0)