1 --- rc-scripts-0.4.15/rc.d/rc.sysinit.orig 2016-06-19 20:33:41.190705364 +0200
2 +++ rc-scripts-0.4.15/rc.d/rc.sysinit 2016-06-19 20:51:05.967360163 +0200
4 if ! grep -Fq selinuxfs /proc/filesystems; then
5 # no support in kernel, no chance
10 - if ! is_fsmounted selinuxfs /selinux; then
11 - mount -n -o gid=17 -t selinuxfs selinuxfs /selinux
12 + if ! is_fsmounted selinuxfs $selinuxfsdir; then
13 + mount -n -o gid=17 -t selinuxfs selinuxfs $selinuxfsdir
16 # Check SELinux status
18 mount -n -o gid=17 -t securityfs securityfs /sys/kernel/security
21 + if [ -d /sys/fs/selinux ]; then
23 + selinuxfsdir=/sys/fs/selinux
25 + selinuxfsdir=/selinux
29 # PLD Linux LiveCD support
34 - if is_fsmounted selinuxfs /selinux; then
35 - mount -f -t selinuxfs selinuxfs /selinux 2> /dev/null
36 + if is_fsmounted selinuxfs $selinuxfsdir; then
37 + mount -f -t selinuxfs selinuxfs $selinuxfsdir 2> /dev/null
40 if [ ! -f /proc/modules ]; then