summaryrefslogtreecommitdiff
path: root/src/scripts/Configure-Makefile
diff options
context:
space:
mode:
authorPhilip Hazel <ph10@hermes.cam.ac.uk>2005-09-19 14:42:31 +0000
committerPhilip Hazel <ph10@hermes.cam.ac.uk>2005-09-19 14:42:31 +0000
commit76ea0716a2491ac7b963aaf503c81a737e966e54 (patch)
tree8d5aebddc0420ade5c9bb38632a2d7befaea57a0 /src/scripts/Configure-Makefile
parent0925ede6bf47dea696153c927418025ad59a903c (diff)
Minor comment tweaks from Bryan Henderson for Configure-Makefile and
EDITME.
Diffstat (limited to 'src/scripts/Configure-Makefile')
-rwxr-xr-xsrc/scripts/Configure-Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/scripts/Configure-Makefile b/src/scripts/Configure-Makefile
index 9db965095..41cc88b18 100755
--- a/src/scripts/Configure-Makefile
+++ b/src/scripts/Configure-Makefile
@@ -1,5 +1,5 @@
#! /bin/sh
-# $Cambridge: exim/src/scripts/Configure-Makefile,v 1.1 2004/10/06 15:07:40 ph10 Exp $
+# $Cambridge: exim/src/scripts/Configure-Makefile,v 1.2 2005/09/19 14:42:31 ph10 Exp $
# Shell script to build Makefile in a build directory. It must be called
# from inside the directory. It does its own checking of when to rebuild; it
@@ -146,6 +146,7 @@ echo "" >>$mft
# Finally, join on the generic base make file, which contains the actual
# rules and stuff.
+echo "# From ../OS/Makefile-Base" >> $mft
cat ../OS/Makefile-Base >> $mft || exit 1
# If the new makefile is the same as the existing one, say so, and just