diff options
Diffstat (limited to 'rc.d/init.d')
| -rwxr-xr-x | rc.d/init.d/halt | 2 |
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 |