diff options
author | Dan Walsh <dwalsh@redhat.com> | 2004-03-17 16:49:28 +0000 |
---|---|---|
committer | Dan Walsh <dwalsh@redhat.com> | 2004-03-17 16:49:28 +0000 |
commit | d80a508b63fe88eef51821bd034e2241b96a975e (patch) | |
tree | e54e28896e144ec23680d7e8c0364f6c9a959b1c /rc.d | |
parent | 12c92fa0c39fe25ddd4e52c0cc1f86887ab1a273 (diff) | |
download | initscripts-d80a508b63fe88eef51821bd034e2241b96a975e.tar initscripts-d80a508b63fe88eef51821bd034e2241b96a975e.tar.gz initscripts-d80a508b63fe88eef51821bd034e2241b96a975e.tar.bz2 initscripts-d80a508b63fe88eef51821bd034e2241b96a975e.tar.xz initscripts-d80a508b63fe88eef51821bd034e2241b96a975e.zip |
add checkselinux script, to clean up stuff that might have happened because of boots with non SELinux kernels
Diffstat (limited to 'rc.d')
-rwxr-xr-x | rc.d/rc.sysinit | 4 |
1 files changed, 4 insertions, 0 deletions
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 |