diff --git a/scripts/integrate-distro.sh b/scripts/integrate-distro.sh index 1b60c7b2..6c4a0909 100644 --- a/scripts/integrate-distro.sh +++ b/scripts/integrate-distro.sh @@ -761,15 +761,15 @@ canonicalize() check_mount() { - local canonicalized=`realpath $root/$1 2>/dev/null` + local canonicalized=`realpath --canonicalize-missing $root/$1 2>/dev/null` #echo root="$root" #echo arg="$1" #echo canonicalized="$canonicalized" [ ! "$canonicalized" ] && return 1 - grep -q " $canonicalized " /proc/mounts && return 0 + mount | grep -q " $canonicalized " && return 0 canonicalized=`canonicalize $root/$1` [ ! "$canonicalized" ] && return 1 - grep -q " $canonicalized " /proc/mounts && return 0 + mount | grep -q " $canonicalized " && return 0 return 1 }