aboutsummaryrefslogtreecommitdiffstats
path: root/rc.d/init.d
diff options
context:
space:
mode:
Diffstat (limited to 'rc.d/init.d')
-rwxr-xr-xrc.d/init.d/halt2
1 files changed, 1 insertions, 1 deletions
diff --git a/rc.d/init.d/halt b/rc.d/init.d/halt
index d9faaaf8..15d6b994 100755
--- a/rc.d/init.d/halt
+++ b/rc.d/init.d/halt
@@ -194,7 +194,7 @@ done
rm -f /.autofsck
# Try all file systems other than root and RAM disks, one last time.
-mount | awk '!/( \/ |^\/dev\/root|^\/dev\/ram)/ { print $3 }' | \
+mount | awk '!/( \/ |^\/dev\/root|^\/dev\/ram| \/proc )/ { print $3 }' | \
while read line; do
umount -f $line
done