diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2002-04-16 17:39:08 +0000 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2002-04-16 17:39:08 +0000 |
| commit | 90c4121e94936362d965ad55269427569724bd1c (patch) | |
| tree | e9f16931fa8181d2b2f67ec3c3cd4e2e349debdb /config.bat | |
| parent | a395d4a91553d75ac9d84c7bb354ea695228a6f9 (diff) | |
Update for msdos/sed2v2.inp.
Diffstat (limited to 'config.bat')
| -rw-r--r-- | config.bat | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/config.bat b/config.bat index 27f763ff24..cba230f9d8 100644 --- a/config.bat +++ b/config.bat @@ -152,7 +152,12 @@ sed -e '' config.in > config.tmp if "%X11%" == "" goto src4
sed -f ../msdos/sed2x.inp <config.in >config.tmp
:src4
+if "%DJGPP_VER%" == "2" Goto src41
sed -f ../msdos/sed2.inp <config.tmp >config.h2
+goto src42
+:src41
+sed -f ../msdos/sed2v2.inp <config.tmp >config.h2
+:src42
update config.h2 config.h >nul
rm -f config.tmp config.h2
|