changeset 19567:3f6f67f86a48

If src/_gdbinit doesn't exist, try using src/.gdbinit to create it (for building on Windows 95).
author Eli Zaretskii <eliz@gnu.org>
date Wed, 27 Aug 1997 11:44:29 +0000
parents e5094e386200
children fa099f73f994
files config.bat
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/config.bat	Wed Aug 27 07:12:29 1997 +0000
+++ b/config.bat	Wed Aug 27 11:44:29 1997 +0000
@@ -197,6 +197,7 @@
 Echo Configuring the main directory...
 If "%DJGPP_VER%" == "1" goto mainv1
 Echo Looking for the GDB init file...
+If not Exist src\_gdbinit If Exist src\.gdbinit update src/.gdbinit src/_gdbinit
 If Exist src\_gdbinit goto gdbinitOk
 Echo ERROR:
 Echo I cannot find the GDB init file.  It was called ".gdbinit" in