comparison config.bat @ 33811:e1e1d5816d44

Check for existence of djecho.exe, and print an error message if it is not available.
author Eli Zaretskii <eliz@gnu.org>
date Thu, 23 Nov 2000 15:37:17 +0000
parents d8bdb143d140
children 6722a8132e56
comparison
equal deleted inserted replaced
33810:9a46f50d021b 33811:e1e1d5816d44
120 Goto End 120 Goto End
121 :go32Ok 121 :go32Ok
122 set djgpp_ver=1 122 set djgpp_ver=1
123 If ErrorLevel 20 set djgpp_ver=2 123 If ErrorLevel 20 set djgpp_ver=2
124 rm -f junk.c junk junk.exe 124 rm -f junk.c junk junk.exe
125 rem DJECHO is used by the top-level Makefile
126 Echo Checking whether 'djecho' is available...
127 redir -o Nul -eo djecho -o junk.$$$ foo
128 If Exist junk.$$$ Goto djechoOk
129 Echo To build 'Emacs' you need the 'djecho.exe' program!
130 Echo 'djecho.exe' is part of 'djdevNNN.zip' basic DJGPP development kit.
131 Echo Versions of DJGPP before 2.02 called this program 'echo.exe'.
132 Echo Either unpack 'djecho.exe' from the 'djdevNNN.zip' archive,
133 Echo or, if you have 'echo.exe', copy it to 'djecho.exe'.
134 Echo Then run CONFIG.BAT again with the same arguments you did now.
135 Goto End
136 :djechoOk
137 rm -f junk.$$$
125 Echo Configuring for DJGPP Version %DJGPP_VER% ... 138 Echo Configuring for DJGPP Version %DJGPP_VER% ...
126 Rem ---------------------------------------------------------------------- 139 Rem ----------------------------------------------------------------------
127 Echo Configuring the source directory... 140 Echo Configuring the source directory...
128 cd src 141 cd src
129 142