diff options
| author | Richard M. Stallman <rms@gnu.org> | 1994-05-04 07:01:35 +0000 |
|---|---|---|
| committer | Richard M. Stallman <rms@gnu.org> | 1994-05-04 07:01:35 +0000 |
| commit | 315ebba37b0fb71893fdb4a9ca26d2b3aaf1ead0 (patch) | |
| tree | c31d1d37154fdba41122e7ba0d8de79b32c7210b /config.bat | |
| parent | 6f3c2ad9789bf9c43d2a9fcb8e47e02f1469b3f0 (diff) | |
| download | emacs-315ebba37b0fb71893fdb4a9ca26d2b3aaf1ead0.tar.gz | |
entered into RCS
Diffstat (limited to 'config.bat')
| -rw-r--r-- | config.bat | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/config.bat b/config.bat index d83656c8b20..dd7922b3766 100644 --- a/config.bat +++ b/config.bat @@ -103,8 +103,16 @@ cd .. rem ----------------------------------------------------------------------
Echo Configuring the library source directory...
cd lib-src
+set MAKEFILEIN=makefile.in-in
+if exist %MAKEFILEIN% goto libsrc1
+set MAKEFILEIN=makefile-in.in
+if exist %MAKEFILEIN% goto libsrc1
+echo makefile: *** The file originally called "lib-src/Makefile.in.in" cannot be found.
+cd ..
+goto end
+:libsrc1
rem Create "makefile" from "makefile.in".
-sed -e "s@^# \(Generated.*\)$@/* \1 */@" -e "s@/\*\*/#\(.*\)$@/* \1 */@" <Makefile.in >junk.c
+sed -e "s@^# \(Generated.*\)$@/* \1 */@" -e "s@/\*\*/#\(.*\)$@/* \1 */@" <%MAKEFILEIN% >junk.c
gcc -E -I. -I../src junk.c | sed -e "s/^ / /" -e "/^#/d" -e "/^[ ]*$/d" >Makefile.new
sed -f ../msdos/sed3.inp <makefile.new >makefile
cd ..
|