aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorEli Zaretskii2000-11-23 15:37:17 +0000
committerEli Zaretskii2000-11-23 15:37:17 +0000
commit92a0f4b15de4b342e6e3cefcc0669fa8ea5f025b (patch)
treeaf13ad04d49c3cb60f7691eb46b11a8f441ed3b8
parent02790ce2e061b8e91c8afc2bdc4c08a054270b6e (diff)
downloademacs-92a0f4b15de4b342e6e3cefcc0669fa8ea5f025b.tar.gz
emacs-92a0f4b15de4b342e6e3cefcc0669fa8ea5f025b.zip
Check for existence of djecho.exe, and print an
error message if it is not available.
-rw-r--r--config.bat13
1 files changed, 13 insertions, 0 deletions
diff --git a/config.bat b/config.bat
index 08919a3e591..302eb24b0dc 100644
--- a/config.bat
+++ b/config.bat
@@ -122,6 +122,19 @@ Goto End
122set djgpp_ver=1 122set djgpp_ver=1
123If ErrorLevel 20 set djgpp_ver=2 123If ErrorLevel 20 set djgpp_ver=2
124rm -f junk.c junk junk.exe 124rm -f junk.c junk junk.exe
125rem DJECHO is used by the top-level Makefile
126Echo Checking whether 'djecho' is available...
127redir -o Nul -eo djecho -o junk.$$$ foo
128If Exist junk.$$$ Goto djechoOk
129Echo To build 'Emacs' you need the 'djecho.exe' program!
130Echo 'djecho.exe' is part of 'djdevNNN.zip' basic DJGPP development kit.
131Echo Versions of DJGPP before 2.02 called this program 'echo.exe'.
132Echo Either unpack 'djecho.exe' from the 'djdevNNN.zip' archive,
133Echo or, if you have 'echo.exe', copy it to 'djecho.exe'.
134Echo Then run CONFIG.BAT again with the same arguments you did now.
135Goto End
136:djechoOk
137rm -f junk.$$$
125Echo Configuring for DJGPP Version %DJGPP_VER% ... 138Echo Configuring for DJGPP Version %DJGPP_VER% ...
126Rem ---------------------------------------------------------------------- 139Rem ----------------------------------------------------------------------
127Echo Configuring the source directory... 140Echo Configuring the source directory...