Left: | ||
Right: |
OLD | NEW |
---|---|
(Empty) | |
1 --- old/configure 2018-07-08 16:22:39.141946102 +0200 | |
2 +++ new/configure 2018-07-08 16:23:27.781477977 +0200 | |
3 @@ -4154,7 +4154,7 @@ | |
4 ac_prog_version=`$MAKE --version 2>&1 | sed -n 's/^.*GNU Make[^0-9]*\([0-9][0 -9.]*\).*$/\1/p'` | |
5 case $ac_prog_version in | |
6 '') ac_prog_version="v. ?.??, bad"; ac_verc_fail=yes;; | |
7 - 3.79* | 3.[89]*) | |
8 + 3.79* | 3.[89]* | 4.[0-9.]*) | |
knupero
2018/07/17 21:49:12
This is not needed for Ubuntu 14 and sufficient fo
| |
9 ac_prog_version="$ac_prog_version, ok"; ac_verc_fail=no;; | |
10 *) ac_prog_version="$ac_prog_version, bad"; ac_verc_fail=yes;; | |
11 | |
OLD | NEW |