diff options
Diffstat (limited to 'init.d/halt.sh')
-rwxr-xr-x | init.d/halt.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/init.d/halt.sh b/init.d/halt.sh index f02c1336..f94f4d28 100755 --- a/init.d/halt.sh +++ b/init.d/halt.sh @@ -72,7 +72,9 @@ if [ "${RC_UNAME}" = "Linux" ] ; then fs="${fs}${fs:+|}${x}" done [ -n "${fs}" ] && fs="^(${fs})$" - do_unmount "mount -n -o remount,ro" "^(/dev|/dev/.*|/proc|/proc/.*|/sys|/sys/.*)$" "" "" "${fs}" + do_unmount "mount -n -o remount,ro" \ + --skip-point-regex "^(/dev|/dev/.*|/proc|/proc/.*|/sys|/sys/.*)$" \ + ${fs:+--skip-fstype-regex} ${fs} --nonetdev eoutdent eend $? unmounted=$? |