- don't try to mount /selinux if selinuxfs is not supported by kernel

[packages/rc-scripts.git] / rc-scripts-selinuxfs_mount.patch

diff --git a/rc-scripts-selinuxfs_mount.patch b/rc-scripts-selinuxfs_mount.patch
new file mode 100644 (file)
index 0000000..0816334
--- /dev/null
+++ b/rc-scripts-selinuxfs_mount.patch
@@ -0,0 +1,14 @@
+diff -ur rc-scripts-0.4.9.orig/rc.d/rc.sysinit rc-scripts-0.4.9/rc.d/rc.sysinit
+--- rc-scripts-0.4.9.orig/rc.d/rc.sysinit      2013-11-11 10:58:44.000000000 +0000
++++ rc-scripts-0.4.9/rc.d/rc.sysinit   2014-02-03 13:11:14.805999630 +0000
+@@ -112,9 +112,7 @@
+       if ! grep -Fq selinuxfs /proc/filesystems; then
+               # no support in kernel, no chance
+               SELINUX=no
+-      fi
+-
+-      if ! is_fsmounted selinuxfs /selinux; then
++      elif ! is_fsmounted selinuxfs /selinux; then
+               mount -n -o gid=17 -t selinuxfs selinuxfs /selinux
+       fi
+