# HG changeset patch
# User Pascal Bellard <pascal.bellard@slitaz.org>
# Date 1296929232 -3600
# Node ID cac91cb91a2cbe7eed808bfc6dc282f430a96922
# Parent  7d5ccd76597b23e33d9a046fffd381e6012f32a4
busybox/init: avoid a warning

diff -r 7d5ccd76597b -r cac91cb91a2c busybox/stuff/init
--- a/busybox/stuff/init	Sat Feb 05 16:37:06 2011 +0100
+++ b/busybox/stuff/init	Sat Feb 05 19:07:12 2011 +0100
@@ -2,7 +2,7 @@
 
 launch_init()
 {
-	umount /proc
+	[ -d /proc/sys ] && umount /proc
 	echo -e "\\033[70G[ \\033[1;33mOK\\033[0;39m ]"
 	exec /sbin/switch_root mnt /sbin/init
 }
@@ -142,7 +142,6 @@
 [ -n "$size" ] || size="-o size=90%"
 if [ $free -lt 100 ] || ! mount -t tmpfs $size tmpfs /mnt; then
 	echo -e "\\033[70G[ \\033[1;33mSkipped\\033[0;39m]"
-	umount /proc
 	exec /sbin/init
 fi
 for i in $(ls -a /); do