diff options
| author | Eli Zaretskii | 2004-11-12 16:10:03 +0000 |
|---|---|---|
| committer | Eli Zaretskii | 2004-11-12 16:10:03 +0000 |
| commit | 5ae143b2702a2ebdd2c8ea49b6935a3e4bc34c53 (patch) | |
| tree | 32b7c02dc65e3997fb4a2efab59e36511a515272 /config.bat | |
| parent | 41f41c62a6010e5ff514ee4431731af0c417df10 (diff) | |
| download | emacs-5ae143b2702a2ebdd2c8ea49b6935a3e4bc34c53.tar.gz emacs-5ae143b2702a2ebdd2c8ea49b6935a3e4bc34c53.zip | |
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 | |||
| 121 | set djgpp_ver=1 | 121 | set djgpp_ver=1 |
| 122 | If ErrorLevel 20 set djgpp_ver=2 | 122 | If ErrorLevel 20 set djgpp_ver=2 |
| 123 | rm -f junk.c junk junk.exe | 123 | rm -f junk.c junk junk.exe |
| 124 | rem DJECHO is used by the top-level Makefile | 124 | rem The v1.x build does not need djecho |
| 125 | if "%DJGPP_VER%" == "1" Goto djechoOk | ||
| 126 | rem DJECHO is used by the top-level Makefile in the v2.x build | ||
| 125 | Echo Checking whether 'djecho' is available... | 127 | Echo Checking whether 'djecho' is available... |
| 126 | redir -o Nul -eo djecho -o junk.$$$ foo | 128 | redir -o Nul -eo djecho -o junk.$$$ foo |
| 127 | If Exist junk.$$$ Goto djechoOk | 129 | If Exist junk.$$$ Goto djechoOk |