summaryrefslogtreecommitdiff
path: root/Build/source/configure
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2012-05-21 12:47:05 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2012-05-21 12:47:05 +0000
commit3aebe98ebe4f3d35b226d03813343296b08baee0 (patch)
treee0944fb08700ee21ffd1b78900ac181cce7a0e42 /Build/source/configure
parentbb6c171137b022a31470471ce7bb95e2818bc5fa (diff)
build system: Better detection of GNU make (cope with FreeBSD make)
git-svn-id: svn://tug.org/texlive/trunk@26536 c570f23f-e606-0410-a88d-b1316a301751
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;}