[SCM] live-config branch, debian, updated. debian/3.0_a33-1-3-g0f356fd

[Daniel Baumann]

The following commit has been merged in the debian branch:
commit dc84ecc6ac52ab1265dc8a07c97d6f1e46e0750e
Author: Daniel Baumann <daniel at debian.org>
Date:   Mon Apr 2 06:38:11 2012 +0200

    Mounting /proc if necessary (Closes: #666866).

diff --git a/scripts/config.sh b/scripts/config.sh
index e43d781..0e9a8e9 100755
--- a/scripts/config.sh
+++ b/scripts/config.sh
@@ -152,6 +152,11 @@ Start_network ()
 
 Main ()
 {
+	if [ ! -e /proc/version ]
+	then
+		mount -n -t proc -onodev,noexec,nosuid -odefaults proc /proc
+	fi
+
 	_CMDLINE="$(cat /proc/cmdline)"
 
 	if ! echo ${_CMDLINE} | grep -qs "boot=live"

-- 
live-config