From 5983add0f21fdacded88836aae8b8e392599060c Mon Sep 17 00:00:00 2001
From: Roy Marples <roy@marples.name>
Date: Wed, 9 Jul 2008 14:24:48 +0000
Subject: [PATCH] No point in re-mounting ro filesystems that are already ro.

---
 init.d/halt.sh.in | 1 +
 1 file changed, 1 insertion(+)

diff --git a/init.d/halt.sh.in b/init.d/halt.sh.in
index 0b36ec43..74ac02b7 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 $?