comparison config.bat @ 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 31e6205f80b6
children ff0f79a7b8b6
comparison
equal deleted inserted replaced
19566:e5094e386200 19567:3f6f67f86a48
195 :oldx1 195 :oldx1
196 rem ---------------------------------------------------------------------- 196 rem ----------------------------------------------------------------------
197 Echo Configuring the main directory... 197 Echo Configuring the main directory...
198 If "%DJGPP_VER%" == "1" goto mainv1 198 If "%DJGPP_VER%" == "1" goto mainv1
199 Echo Looking for the GDB init file... 199 Echo Looking for the GDB init file...
200 If not Exist src\_gdbinit If Exist src\.gdbinit update src/.gdbinit src/_gdbinit
200 If Exist src\_gdbinit goto gdbinitOk 201 If Exist src\_gdbinit goto gdbinitOk
201 Echo ERROR: 202 Echo ERROR:
202 Echo I cannot find the GDB init file. It was called ".gdbinit" in 203 Echo I cannot find the GDB init file. It was called ".gdbinit" in
203 Echo the Emacs distribution, but was probably renamed to some other 204 Echo the Emacs distribution, but was probably renamed to some other
204 Echo name without the leading dot when you untarred the archive. 205 Echo name without the leading dot when you untarred the archive.