From: Richard M. Stallman <rms@gnu.org>
Date: Mon, 15 Apr 1996 18:48:06 +0000 (+0000)
Subject: Make sure the GDB init file is called src/_gdbinit;
X-Git-Tag: emacs-19.34~838
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=809e1789ed431e6fb67b12b496cec4f5eae42479;p=emacs.git

Make sure the GDB init file is called src/_gdbinit;
if not, tell the user to rename it and abort.
---

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