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 6d3afdd4..6a210289 100755 --- a/rc.d/init.d/halt +++ b/rc.d/init.d/halt @@ -173,7 +173,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 |