On a 64-bit Debian system, /usr/lib32 is a symlink to /emul/ia32-linux/usr/lib. It should be labelled as lib_t. I don't know if the distro_debian is necessary - take it out if you want. -- Martin Orr
Written by: Martin Orr Mark /usr/lib32 as type lib_t Index: policy/modules/system/libraries.fc =================================================================== --- policy/modules/system/libraries.fc.orig +++ policy/modules/system/libraries.fc @@ -110,6 +110,9 @@ /usr/(.*/)?lib(/.*)? gen_context(system_u:object_r:lib_t,s0) /usr/(.*/)?lib64(/.*)? gen_context(system_u:object_r:lib_t,s0) +ifdef(`distro_debian',` + /usr/(.*/)?lib32(/.*)? -l gen_context(system_u:object_r:lib_t,s0) +') /usr/(.*/)?lib(64)?(/.*)?/ld-[^/]*\.so(\.[^/]*)* gen_context(system_u:object_r:ld_so_t,s0)
Attachment:
signature.asc
Description: OpenPGP digital signature
