wok rev 8401

busybox/init: avoid a warning
author Pascal Bellard <pascal.bellard@slitaz.org>
date Sat Feb 05 19:07:12 2011 +0100 (2011-02-05)
parents 7d5ccd76597b
children 4f70798e8afa
files busybox/stuff/init
line diff
     1.1 --- a/busybox/stuff/init	Sat Feb 05 16:37:06 2011 +0100
     1.2 +++ b/busybox/stuff/init	Sat Feb 05 19:07:12 2011 +0100
     1.3 @@ -2,7 +2,7 @@
     1.4  
     1.5  launch_init()
     1.6  {
     1.7 -	umount /proc
     1.8 +	[ -d /proc/sys ] && umount /proc
     1.9  	echo -e "\\033[70G[ \\033[1;33mOK\\033[0;39m ]"
    1.10  	exec /sbin/switch_root mnt /sbin/init
    1.11  }
    1.12 @@ -142,7 +142,6 @@
    1.13  [ -n "$size" ] || size="-o size=90%"
    1.14  if [ $free -lt 100 ] || ! mount -t tmpfs $size tmpfs /mnt; then
    1.15  	echo -e "\\033[70G[ \\033[1;33mSkipped\\033[0;39m]"
    1.16 -	umount /proc
    1.17  	exec /sbin/init
    1.18  fi
    1.19  for i in $(ls -a /); do