diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2000-11-23 15:37:17 +0000 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2000-11-23 15:37:17 +0000 |
| commit | 92a0f4b15de4b342e6e3cefcc0669fa8ea5f025b (patch) | |
| tree | af13ad04d49c3cb60f7691eb46b11a8f441ed3b8 /config.bat | |
| parent | 02790ce2e061b8e91c8afc2bdc4c08a054270b6e (diff) | |
| download | emacs-92a0f4b15de4b342e6e3cefcc0669fa8ea5f025b.tar.gz | |
Check for existence of djecho.exe, and print an
error message if it is not available.
Diffstat (limited to 'config.bat')
| -rw-r--r-- | config.bat | 13 |
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 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
+Echo Checking whether 'djecho' is available...
+redir -o Nul -eo djecho -o junk.$$$ foo
+If Exist junk.$$$ Goto djechoOk
+Echo To build 'Emacs' you need the 'djecho.exe' program!
+Echo 'djecho.exe' is part of 'djdevNNN.zip' basic DJGPP development kit.
+Echo Versions of DJGPP before 2.02 called this program 'echo.exe'.
+Echo Either unpack 'djecho.exe' from the 'djdevNNN.zip' archive,
+Echo or, if you have 'echo.exe', copy it to 'djecho.exe'.
+Echo Then run CONFIG.BAT again with the same arguments you did now.
+Goto End
+:djechoOk
+rm -f junk.$$$
Echo Configuring for DJGPP Version %DJGPP_VER% ...
Rem ----------------------------------------------------------------------
Echo Configuring the source directory...
|