diff options
author | Philip Hazel <ph10@hermes.cam.ac.uk> | 2005-05-04 10:17:28 +0000 |
---|---|---|
committer | Philip Hazel <ph10@hermes.cam.ac.uk> | 2005-05-04 10:17:28 +0000 |
commit | 9176e9f0046f5b7344bc8fadf09104d8bacc5d9d (patch) | |
tree | 5f08465cf154b8fb01aa19980245407fecb9edf4 /src/scripts/Configure-config.h | |
parent | 4fa565b2edd4307f03c292dc418b02e191bf231d (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-x | src/scripts/Configure-config.h | 10 |
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 |