diff options
| -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 |