diff options
| author | Marc-Antoine Perennou <Marc-Antoine@Perennou.com> | 2013-10-31 12:37:50 +1000 |
|---|---|---|
| committer | Allan McRae <allan@archlinux.org> | 2013-10-31 12:38:36 +1000 |
| commit | 28d708c44bc47b56f6551ff285f78edcf61c208a (patch) | |
| tree | 4fdac4678b3aa89e90809a840173ce39dd2a2be8 /configure | |
| parent | a56ee40b176d0a3f47f2a7eb75208f2e3763c9fd (diff) | |
Accept make versions 4.0 and greater
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -4761,7 +4761,7 @@ $as_echo_n "checking version of $MAKE... " >&6; } ac_prog_version=`$MAKE --version 2>&1 | sed -n 's/^.*GNU Make[^0-9]*\([0-9][0-9.]*\).*$/\1/p'` case $ac_prog_version in '') ac_prog_version="v. ?.??, bad"; ac_verc_fail=yes;; - 3.79* | 3.[89]*) + 3.79* | 3.[89]* | [4-9].* | [1-9][0-9]*) ac_prog_version="$ac_prog_version, ok"; ac_verc_fail=no;; *) ac_prog_version="$ac_prog_version, bad"; ac_verc_fail=yes;; |