Use gmake as a fallback if make doesn't exist

gmake doesn't exist on Linux servers.

Use gmake as a fallback if make doesn't exist
gmake doesn't exist on Linux servers.
2011a6b2 · Lasse Karstensen · 4fe2ad4a · 2011a6b2
Commit 2011a6b2 authored Jan 29, 2014 by Lasse Karstensen
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 1 deletion

autogen.des autogen.des +4 -1

No files found.
--- a/autogen.des
+++ b/autogen.des
@@ -18,7 +18,10 @@ rm -f configure
 # autoconf prior to 2.62 has issues with zsh 4.2 and newer
 export CONFIG_SHELL=/bin/sh

-env MAKE=gmake \
+if [ ! -x "/usr/bin/xmake" -a "x${MAKE}" == "x"]; then
+    export MAKE=gmake
+fi
+
 ./configure \
    --enable-developer-warnings \
    --enable-debugging-symbols \