diff --git a/src/check-plt.sh b/src/check-plt.sh index ce0952d75..82ea6dea0 100755 --- a/src/check-plt.sh +++ b/src/check-plt.sh @@ -8,6 +8,7 @@ if ! which readelf 2>/dev/null >/dev/null; then fi test -z "$srcdir" && srcdir=. +test -z "$MAKE" && MAKE=make status=0 $MAKE check-has-hidden-symbols.i || exit 1