summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRoy Marples <roy@marples.name>2008-07-09 14:24:48 +0000
committerRoy Marples <roy@marples.name>2008-07-09 14:24:48 +0000
commit5983add0f21fdacded88836aae8b8e392599060c (patch)
tree172886f40ce3b3ec78c424b186f44a9fcd02d2ed
parenta566493eb8a1b81260f2c51870148de84f03c3e7 (diff)
downloadopenrc-5983add0f21fdacded88836aae8b8e392599060c.tar.gz
openrc-5983add0f21fdacded88836aae8b8e392599060c.tar.bz2
openrc-5983add0f21fdacded88836aae8b8e392599060c.tar.xz
No point in re-mounting ro filesystems that are already ro.
-rw-r--r--init.d/halt.sh.in1
1 files changed, 1 insertions, 0 deletions
diff --git a/init.d/halt.sh.in b/init.d/halt.sh.in
index 0b36ec4..74ac02b 100644
--- a/init.d/halt.sh.in
+++ b/init.d/halt.sh.in
@@ -82,6 +82,7 @@ if [ "${RC_UNAME}" = "Linux" ]; then
[ -n "${fs}" ] && fs="^(${fs})$"
do_unmount "mount -n -o remount,ro" \
--skip-point-regex "^(/dev|/dev/.*|/proc|/proc/.*|/sys|/sys/.*)$" \
+ --skip-options-regex "^ro" \
${fs:+--skip-fstype-regex} ${fs} --nonetdev
eoutdent
eend $?