Stefan Fiedler:

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