more realplayer entries

This commit is contained in:
Chris PeBenito 2006-10-14 23:31:33 +00:00
parent 14b1684aae
commit 009b377174

View File

@ -98,6 +98,8 @@ ifdef(`distro_gentoo',`
/opt/RealPlayer/lib/.*\.so -- gen_context(system_u:object_r:shlib_t,s0) /opt/RealPlayer/lib/.*\.so -- gen_context(system_u:object_r:shlib_t,s0)
/opt/RealPlayer/mozilla(/.*)? gen_context(system_u:object_r:lib_t,s0) /opt/RealPlayer/mozilla(/.*)? gen_context(system_u:object_r:lib_t,s0)
/opt/RealPlayer/mozilla/.*\.so -- gen_context(system_u:object_r:shlib_t,s0) /opt/RealPlayer/mozilla/.*\.so -- gen_context(system_u:object_r:shlib_t,s0)
/opt/RealPlayer/plugins(/.*)? gen_context(system_u:object_r:lib_t,s0)
/opt/RealPlayer/plugins/.*\.so -- gen_context(system_u:object_r:shlib_t,s0)
') ')
# #