diff options
| author | Philip Hazel <ph10@hermes.cam.ac.uk> | 2005-09-19 14:42:31 +0000 |
|---|---|---|
| committer | Philip Hazel <ph10@hermes.cam.ac.uk> | 2005-09-19 14:42:31 +0000 |
| commit | 76ea0716a2491ac7b963aaf503c81a737e966e54 (patch) | |
| tree | 8d5aebddc0420ade5c9bb38632a2d7befaea57a0 /src/scripts/Configure-Makefile | |
| parent | 0925ede6bf47dea696153c927418025ad59a903c (diff) | |
Minor comment tweaks from Bryan Henderson for Configure-Makefile and
EDITME.
Diffstat (limited to 'src/scripts/Configure-Makefile')
| -rwxr-xr-x | src/scripts/Configure-Makefile | 3 |
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 |