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 | c9b0038d678b463c212515951537db66dd067a46 (patch) | |
| tree | 92629e865ad9bc3c6cd15a255778bc0cabc62078 /config.bat | |
| parent | 8ffa966f6fb924d02b68660fbfaeee7560b9fd7b (diff) | |
| download | emacs-c9b0038d678b463c212515951537db66dd067a46.tar.gz | |
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 27f763ff24b..cba230f9d87 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
|