automatically try to find GNU make

diff --git a/summon-arm-toolchain b/summon-arm-toolchain
index d4c1cef0306e54d94c7522303c85e2f6793a3d58..16ad7700d4e9a2048d043b98a7f494c66513133a 100755 (executable)
--- a/summon-arm-toolchain
+++ b/summon-arm-toolchain
@@ -141,9 +141,14 @@ else
     TAR=tar     # use the system tar
 fi
 
-if [ -z MAKE ]; then
-  MAKE=make
-  export make # make it known to the configure scripts
+if [ -z ${MAKE} ]; then
+    if which gnumake > /dev/null; then
+        export MAKE=gnumake
+    elif which gmake > /dev/null; then
+        export MAKE=gmake
+    else
+        export MAKE=make    # should be GNU make
+    fi
 fi
 
 ##############################################################################