[check-plt.sh] Ensure that $MAKE is defined.

Copy the check from check-def.sh now that $MAKE is also used in
check-plt.sh
This commit is contained in:
Chris Wilson 2008-01-11 21:55:52 +00:00
parent 92c744978f
commit 0b91240692

View file

@ -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