diff options
Diffstat (limited to 'Build/source/configure')
-rwxr-xr-x | Build/source/configure | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Build/source/configure b/Build/source/configure index 0dad0bba7a2..8a0aa14839f 100755 --- a/Build/source/configure +++ b/Build/source/configure @@ -20656,6 +20656,9 @@ subdirs="$subdirs auxdir/auxsub libs utils texk" ac_config_files="$ac_config_files Makefile" +rm -f Makefile +kpse_GNU_make=`${MAKE-make} -v 2>/dev/null | grep GNU` + cat >confcache <<\_ACEOF # This file is a shell script that caches the results of configure # tests run on this system so they can be shared between configure @@ -23306,7 +23309,7 @@ $as_echo "$as_me: WARNING: unrecognized options: $ac_unrecognized_opts" >&2;} fi -if test -z "`${MAKE-make} -v 2>/dev/null | grep GNU`"; then +if test -z "$kpse_GNU_make"; then if test "x$enable_native_texlive_build" = xno; then { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: Building TeX Live may require GNU make" >&5 $as_echo "$as_me: WARNING: Building TeX Live may require GNU make" >&2;} |