summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xtools/setup8
1 files changed, 4 insertions, 4 deletions
diff --git a/tools/setup b/tools/setup
index 904120f0..084399b0 100755
--- a/tools/setup
+++ b/tools/setup
@@ -6,10 +6,10 @@
6# Requires: automake, autoconf, dpkg-dev 6# Requires: automake, autoconf, dpkg-dev
7# set -e 7# set -e
8 8
9MAKE=$(which gnumake) 9MAKE=`which gnumake`
10if test ! -x "$MAKE" ; then MAKE=$(which gmake) ; fi 10if test ! -x "$MAKE" ; then MAKE=`which gmake` ; fi
11if test ! -x "$MAKE" ; then MAKE=$(which make) ; fi 11if test ! -x "$MAKE" ; then MAKE=`which make` ; fi
12HAVE_GNU_MAKE=$($MAKE --version|grep -c "Free Software Foundation") 12HAVE_GNU_MAKE=`$MAKE --version|grep -c "Free Software Foundation"`
13 13
14if test "$HAVE_GNU_MAKE" != "1"; then 14if test "$HAVE_GNU_MAKE" != "1"; then
15 echo Could not find GNU make on this system, can not proceed with build. 15 echo Could not find GNU make on this system, can not proceed with build.