diff options
| author | Richard M. Stallman <rms@gnu.org> | 1996-04-15 18:48:06 +0000 |
|---|---|---|
| committer | Richard M. Stallman <rms@gnu.org> | 1996-04-15 18:48:06 +0000 |
| commit | 809e1789ed431e6fb67b12b496cec4f5eae42479 (patch) | |
| tree | 0b04a428b82964f5b93ecdd707fc9d4321db1e4f /config.bat | |
| parent | 093dd95bf5cac843a9b3f019052e90061737d5c8 (diff) | |
| download | emacs-809e1789ed431e6fb67b12b496cec4f5eae42479.tar.gz | |
Make sure the GDB init file is called src/_gdbinit;
if not, tell the user to rename it and abort.
Diffstat (limited to 'config.bat')
| -rw-r--r-- | config.bat | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/config.bat b/config.bat index cf3fa8c9baf..24cfdb17c7d 100644 --- a/config.bat +++ b/config.bat @@ -194,7 +194,21 @@ cd .. :oldx1
rem ----------------------------------------------------------------------
Echo Configuring the main directory...
-If "%DJGPP_VER%" == "2" copy msdos\mainmake.v2 makefile >nul
+If "%DJGPP_VER%" == "1" goto mainv1
+Echo Looking for the GDB init file...
+If Exist src\_gdbinit goto gdbinitOk
+Echo ERROR:
+Echo I cannot find the GDB init file. It was called ".gdbinit" in
+Echo the Emacs distribution, but was probably renamed to some other
+Echo name without the leading dot when you untarred the archive.
+Echo It should be in the "src/" subdirectory. Please make sure this
+Echo file exists and is called "_gdbinit" with a leading underscore.
+Echo Then run CONFIG.BAT again with the same arguments you did now.
+goto End
+:gdbinitOk
+Echo Looking for the GDB init file...found
+copy msdos\mainmake.v2 makefile >nul
+:mainv1
If "%DJGPP_VER%" == "1" copy msdos\mainmake makefile >nul
rem ----------------------------------------------------------------------
:end
|