diff options
-rwxr-xr-x | tools/setup | 8 |
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 | ||
9 | MAKE=$(which gnumake) | 9 | MAKE=`which gnumake` |
10 | if test ! -x "$MAKE" ; then MAKE=$(which gmake) ; fi | 10 | if test ! -x "$MAKE" ; then MAKE=`which gmake` ; fi |
11 | if test ! -x "$MAKE" ; then MAKE=$(which make) ; fi | 11 | if test ! -x "$MAKE" ; then MAKE=`which make` ; fi |
12 | HAVE_GNU_MAKE=$($MAKE --version|grep -c "Free Software Foundation") | 12 | HAVE_GNU_MAKE=`$MAKE --version|grep -c "Free Software Foundation"` |
13 | 13 | ||
14 | if test "$HAVE_GNU_MAKE" != "1"; then | 14 | if 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. |