Update for msdos/sed2v2.inp.
authorEli Zaretskii <eliz@gnu.org>
Tue, 16 Apr 2002 17:39:08 +0000 (17:39 +0000)
committerEli Zaretskii <eliz@gnu.org>
Tue, 16 Apr 2002 17:39:08 +0000 (17:39 +0000)
config.bat

index 27f763f..cba230f 100644 (file)
@@ -152,7 +152,12 @@ sed -e '' config.in > config.tmp
 if "%X11%" == "" goto src4\r
 sed -f ../msdos/sed2x.inp <config.in >config.tmp\r
 :src4\r
+if "%DJGPP_VER%" == "2" Goto src41\r
 sed -f ../msdos/sed2.inp <config.tmp >config.h2\r
+goto src42\r
+:src41\r
+sed -f ../msdos/sed2v2.inp <config.tmp >config.h2\r
+:src42\r
 update config.h2 config.h >nul\r
 rm -f config.tmp config.h2\r
 \r