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