Allow make utilities other than "make"

Instead of hard coding "make", use "$MAKE". If $MAKE is not set,
configure will export it for us when searching for "make".

Reviewed-by: Bradley T. Hughes <bradley.hughes@nokia.com>

1 files changed, 2 insertions, 0 deletions

diff --git a/configure b/configure
index cca68476d..7b7cc1c0e 100755
--- a/configure
+++ b/configure
@@ -2200,6 +2200,8 @@ if [ -z "$MAKE" ]; then
         echo >&2 "Cannot proceed."
         exit 1
     fi
+    # export MAKE, we need it later in the config.tests
+    export MAKE
 fi
 
 fi ### help