diff options
author | Eli Zaretskii <eliz@gnu.org> | 2004-11-12 16:10:03 +0000 |
---|---|---|
committer | Eli Zaretskii <eliz@gnu.org> | 2004-11-12 16:10:03 +0000 |
commit | 5ae143b2702a2ebdd2c8ea49b6935a3e4bc34c53 (patch) | |
tree | 32b7c02dc65e3997fb4a2efab59e36511a515272 /config.bat | |
parent | 41f41c62a6010e5ff514ee4431731af0c417df10 (diff) | |
download | emacs-5ae143b2702a2ebdd2c8ea49b6935a3e4bc34c53.tar.gz |
Don't require djecho.exe for the v1.x build.
Diffstat (limited to 'config.bat')
-rw-r--r-- | config.bat | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/config.bat b/config.bat index c3e36975dec..c7be653b873 100644 --- a/config.bat +++ b/config.bat @@ -121,7 +121,9 @@ Goto End set djgpp_ver=1
If ErrorLevel 20 set djgpp_ver=2
rm -f junk.c junk junk.exe
-rem DJECHO is used by the top-level Makefile
+rem The v1.x build does not need djecho
+if "%DJGPP_VER%" == "1" Goto djechoOk
+rem DJECHO is used by the top-level Makefile in the v2.x build
Echo Checking whether 'djecho' is available...
redir -o Nul -eo djecho -o junk.$$$ foo
If Exist junk.$$$ Goto djechoOk
|