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 | 59c2953d4a5a2b398e3783454a79d909073140e4 (patch) | |
tree | 3e9e0a19fbec68153270fc559e712b8663286df2 /config.bat | |
parent | 9dc10cce50817c477546f989975edfff645945ef (diff) | |
download | emacs-59c2953d4a5a2b398e3783454a79d909073140e4.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
|