summaryrefslogtreecommitdiff
path: root/Build/source/configure
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/configure')
-rwxr-xr-xBuild/source/configure5
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;}