From 809e1789ed431e6fb67b12b496cec4f5eae42479 Mon Sep 17 00:00:00 2001 From: "Richard M. Stallman" Date: Mon, 15 Apr 1996 18:48:06 +0000 Subject: [PATCH] Make sure the GDB init file is called src/_gdbinit; if not, tell the user to rename it and abort. --- config.bat | 16 +++++++++++++++- 1 file changed, 15 insertions(+), 1 deletion(-) 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 -- 2.39.2