diff options
| author | Florian Weimer <fweimer@redhat.com> | 2018-07-04 15:27:24 +0200 |
|---|---|---|
| committer | Florian Weimer <fweimer@redhat.com> | 2018-07-04 15:30:45 +0200 |
| commit | f2873d2da0ac9802e0b570e8e0b9e7e04a82bf55 (patch) | |
| tree | 5228718da2051a29c5d92d49d014114568f3cbce /configure | |
| parent | eb04c21373e2a2885f3d52ff192b0499afe3c672 (diff) | |
| download | glibc-f2873d2da0ac9802e0b570e8e0b9e7e04a82bf55.tar.gz glibc-f2873d2da0ac9802e0b570e8e0b9e7e04a82bf55.tar.xz glibc-f2873d2da0ac9802e0b570e8e0b9e7e04a82bf55.zip | |
testrun.sh: Implement --tool=strace, --tool=valgrind
$(file …) appears to be the only convenient way to create files with newlines and make substitution variables. This needs make 4.0 (released in 2013), so update the requirement to match. Reviewed-by: Carlos O'Donell <carlos@redhat.com>
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure index ef18302215..eac7f292b4 100755 --- a/configure +++ b/configure @@ -4705,7 +4705,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]* | [4-9].* | [1-9][0-9]*) + [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;; |