diff options
Diffstat (limited to 'src/scripts')
| -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 |