diff options
Diffstat (limited to 'sh')
| -rw-r--r-- | sh/rc-mount.sh | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/sh/rc-mount.sh b/sh/rc-mount.sh index 67ea203f..2084911d 100644 --- a/sh/rc-mount.sh +++ b/sh/rc-mount.sh @@ -52,8 +52,14 @@ do_unmount() { # OK, try forcing things if [ ${retry} -le 0 ] ; then - ${cmd} -f "${mnt}" || retry=-999 - retry=-999 + local extra_opts="-f" + case "${cmd}" in + mount*) + # Silly reiserfs helper blocks us, so bypass it + [ "${RC_UNAME}" = "Linux" ] && extra_opts="-i" + ;; + esac + ${cmd} ${extra_opts} "${mnt}" || retry=-999 break fi done |