diff --git a/common.sh b/common.sh index b5b743d4ac..cbffa10c7c 100644 --- a/common.sh +++ b/common.sh @@ -643,7 +643,7 @@ sub_mounts() { # will). As such, we have to unmount in reverse order to cleanly # unmount submounts (think /dev/pts and /dev). awk -v path=$1 -v len="${#1}" \ - '(substr($2, 1, len) == path) { print $2 }' /proc/mounts | \ + '(substr($2, 1, len) == path) { print $2 }' /proc/self/mounts | \ tac | \ sed -e 's/\\040(deleted)$//' # Hack(zbehan): If a bind mount's source is mysteriously removed,