changeset 58178:f5d8b003702f

Don't require djecho.exe for the v1.x build.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 12 Nov 2004 16:10:03 +0000
parents 7557ec2ee04d
children b811024a0534
files config.bat
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/config.bat	Fri Nov 12 14:29:24 2004 +0000
+++ b/config.bat	Fri Nov 12 16:10:03 2004 +0000
@@ -121,7 +121,9 @@
 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