diff --git a/scripts/Build-Pkg b/scripts/Build-Pkg index 7df14a6a2..3a9ab0a76 100755 --- a/scripts/Build-Pkg +++ b/scripts/Build-Pkg @@ -291,7 +291,7 @@ if [ "$chroot" = 1 ] ; then fi # A /dev with working PTYs is essential for make check in # binutils and gcc. - if ! grep "$( pwd -P )/dev" /etc/mtab ; then + if ! grep -q "$( pwd -P )/dev" /etc/mtab ; then mount --rbind /dev $PWD/dev fi