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 | |
| 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
| -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 |