diff options
Diffstat (limited to 'configure.bat')
-rw-r--r-- | configure.bat | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/configure.bat b/configure.bat index 093d43549d..bd62a3bffc 100644 --- a/configure.bat +++ b/configure.bat @@ -1,6 +1,12 @@ @echo off -sed -f top.sed Makefile.in >Makefile -sed -f top.sed ext/extmk.rb.in > ext\extmk.rb +sed -f top.sed < Makefile.in > Makefile +sed -f top.sed < ext/extmk.rb.in > ext\extmk.rb copy ext\Setup.dj ext\Setup copy config_h.dj config.h -copy config_s.dj config.status +if not (%OS%) == (Windows_NT) goto LFN + copy missing\vsnprintf.c missing\vsnprint.c + copy config_s.dj config.sta +goto end +:LFN + copy config_s.dj config.status +:end |