From d80a508b63fe88eef51821bd034e2241b96a975e Mon Sep 17 00:00:00 2001
From: Dan Walsh <dwalsh@redhat.com>
Date: Wed, 17 Mar 2004 16:49:28 +0000
Subject: add checkselinux script, to clean up stuff that might have happened
 because of boots with non SELinux kernels

---
 rc.d/rc.sysinit | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'rc.d')

diff --git a/rc.d/rc.sysinit b/rc.d/rc.sysinit
index 3cffe13f..0102ab8c 100755
--- a/rc.d/rc.sysinit
+++ b/rc.d/rc.sysinit
@@ -10,6 +10,10 @@ if [ -z "$IN_INITLOG" -a -x /sbin/initlog ]; then
     exec /sbin/initlog -r /etc/rc.d/rc.sysinit
 fi
 
+if [ -x /sbin/checkselinux ]; then
+    /sbin/checkselinux 
+fi
+
 # If we're using devfs, start devfsd now - we need the old device names
 [ -e /dev/.devfsd -a -x /sbin/devfsd ] && /sbin/devfsd /dev
 
-- 
cgit v1.2.1