# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 829594086 0
# Node ID 6f4dd53a62d4c2de3b51db28f45794e23e94136a
# Parent  3f5642bda41ccfab7cad3892269d90fe708437a9
Make sure the GDB init file is called src/_gdbinit;
if not, tell the user to rename it and abort.

diff -r 3f5642bda41c -r 6f4dd53a62d4 config.bat
--- a/config.bat	Mon Apr 15 15:48:51 1996 +0000
+++ b/config.bat	Mon Apr 15 18:48:06 1996 +0000
@@ -194,7 +194,21 @@
 :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