From 0b9124069271593be390d9835fcd1527b20770e3 Mon Sep 17 00:00:00 2001
From: Chris Wilson <chris@chris-wilson.co.uk>
Date: Fri, 11 Jan 2008 21:55:52 +0000
Subject: [PATCH] [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
---
 src/check-plt.sh | 1 +
 1 file changed, 1 insertion(+)

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