diff --git a/scripts/check-dependencies.sh b/scripts/check-dependencies.sh index fad0026b..82cf375b 100755 --- a/scripts/check-dependencies.sh +++ b/scripts/check-dependencies.sh @@ -142,7 +142,7 @@ mpfr_sysver() gmp_sysver() { - gmppaths="`find $1 -name 'gmp.h' -o -name 'gmp-*.h'`" + gmppaths="`find $1 -name 'gmp.h' -o -name 'gmp-*.h' 2>/dev/null`" if [ ! "$gmppaths" ]; then debug "gmp_sysver no gmp.h beneath $1" return