aboutsummaryrefslogtreecommitdiff
path: root/sh
diff options
context:
space:
mode:
authorRoy Marples <roy@marples.name>2007-05-30 22:30:54 +0000
committerRoy Marples <roy@marples.name>2007-05-30 22:30:54 +0000
commit27344f7f27efc2ffa010f97377da7adc39e396c6 (patch)
tree87f8f3e11f4c58ce9aca886037ac60aabc38f819 /sh
parent1c1b0b0a4c1800e77caf531c11e2c11a88d69abf (diff)
Use killall5 again so we can cleanly remount / readonly, #168977
and #177689.
Diffstat (limited to 'sh')
-rw-r--r--sh/rc-mount.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/sh/rc-mount.sh b/sh/rc-mount.sh
index 7a2b2a51..be9dffba 100644
--- a/sh/rc-mount.sh
+++ b/sh/rc-mount.sh
@@ -54,7 +54,7 @@ do_unmount() {
if [ ${retry} -le 0 ] ; then
case "${cmd}" in
umount*)
- LC_ALL=C ${cmd} ${extra_opts} "${mnt}" || retry=-999
+ LC_ALL=C ${cmd} -f "${mnt}" || retry=-999
;;
*)
retry=-999