Commit 456f382c authored by Eli Zaretskii's avatar Eli Zaretskii
Browse files

If src/_gdbinit doesn't exist, try using src/.gdbinit to create it (for

building on Windows 95).
parent d00e5512
......@@ -197,6 +197,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 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