summaryrefslogtreecommitdiff
path: root/src/scripts/Configure-config.h
diff options
context:
space:
mode:
authorPhilip Hazel <ph10@hermes.cam.ac.uk>2005-05-04 10:17:28 +0000
committerPhilip Hazel <ph10@hermes.cam.ac.uk>2005-05-04 10:17:28 +0000
commit9176e9f0046f5b7344bc8fadf09104d8bacc5d9d (patch)
tree5f08465cf154b8fb01aa19980245407fecb9edf4 /src/scripts/Configure-config.h
parent4fa565b2edd4307f03c292dc418b02e191bf231d (diff)
Pass $(MAKE) to the scripts/Configure-config.h script so that it uses
the same command (e.g. "gmake") that was called externally.
Diffstat (limited to 'src/scripts/Configure-config.h')
-rwxr-xr-xsrc/scripts/Configure-config.h10
1 files changed, 8 insertions, 2 deletions
diff --git a/src/scripts/Configure-config.h b/src/scripts/Configure-config.h
index 2ec437276..e2359b097 100755
--- a/src/scripts/Configure-config.h
+++ b/src/scripts/Configure-config.h
@@ -1,5 +1,5 @@
#! /bin/sh
-# $Cambridge: exim/src/scripts/Configure-config.h,v 1.1 2004/10/06 15:07:40 ph10 Exp $
+# $Cambridge: exim/src/scripts/Configure-config.h,v 1.2 2005/05/04 10:17:29 ph10 Exp $
# Build the config.h file, using the buildconfig program, first ensuring that
# it exists.
@@ -18,7 +18,13 @@
# space. Oddly, the pattern previously read ^\([A-Z which didn't seem to
# cause a problem (but did when the new bit was put in).
-make buildconfig || exit 1
+# 04-May-2005: if $1 is set, copy it into $MAKE, and then use $MAKE, if set,
+# instead of "make" so that if gmake is used, it is used consistently.
+
+if [ "$1" != "" ] ; then MAKE=$1 ; fi
+if [ "$MAKE" = "" ] ; then MAKE=make ; fi
+
+$MAKE buildconfig || exit 1
# BEWARE: tab characters needed in the following sed command. They have had
# a nasty tendency to get lost in the past, causing a problem if a tab has