# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1100275803 0
# Node ID f5d8b003702fd4eb53fa02f1c6fac844d9fbe6e0
# Parent  7557ec2ee04d6373478ad6c86f84c78075622993
Don't require djecho.exe for the v1.x build.

diff -r 7557ec2ee04d -r f5d8b003702f config.bat
--- 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