diff options
Diffstat (limited to 'tools/setup')
| -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. |
