Commit dd0e1e54 authored by Eli Zaretskii's avatar Eli Zaretskii

(maindir): Update src/_gdbinit even if it does already exist.

parent bb63aae5
2000-08-08 Eli Zaretskii <eliz@is.elta.co.il>
* config.bat (maindir): Update src/_gdbinit even if it does
already exist.
2000-08-07 Gerd Moellmann <gerd@gnu.org>
* Makefile.in (config.status): Prepend `$(srcdir)/' to
......
......@@ -219,7 +219,7 @@ rem ----------------------------------------------------------------------
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 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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment