Written by: Martin Orr

Move /lib64 directory label out of !distro_debian block, because as of
libc6:amd64 2.13-17 (2011-08-22), /lib64 is a directory instead of a symlink.
It was moved into !distro_debian by 526_lib32 (0.2.20091117-2).

This should be sent to Russell soon.

Index: policy/modules/system/libraries.fc
===================================================================
--- policy/modules/system/libraries.fc.orig
+++ policy/modules/system/libraries.fc
@@ -37,14 +37,14 @@
 #
 /lib					-d	gen_context(system_u:object_r:lib_t,s0)
 /lib/.*						gen_context(system_u:object_r:lib_t,s0)
+/lib64					-d	gen_context(system_u:object_r:lib_t,s0)
+/lib64/.*					gen_context(system_u:object_r:lib_t,s0)
 ifdef(`distro_debian', `
 /lib32					-d	gen_context(system_u:object_r:lib_t,s0)
 /lib32/.*					gen_context(system_u:object_r:lib_t,s0)
 /lib32/ld-[^/]*\.so(\.[^/]*)*		--	gen_context(system_u:object_r:ld_so_t,s0)
 /lib32/security/pam_poldi\.so		--	gen_context(system_u:object_r:textrel_shlib_t,s0)
 ', `
-/lib64					-d	gen_context(system_u:object_r:lib_t,s0)
-/lib64/.*					gen_context(system_u:object_r:lib_t,s0)
 /lib64/ld-[^/]*\.so(\.[^/]*)*		--	gen_context(system_u:object_r:ld_so_t,s0)
 /lib64/security/pam_poldi\.so		--	gen_context(system_u:object_r:textrel_shlib_t,s0)
 ')