comparison config.bat @ 30657:d8bdb143d140

(maindir): Update src/_gdbinit even if it does already exist.
author Eli Zaretskii <eliz@gnu.org>
date Tue, 08 Aug 2000 10:35:31 +0000
parents 7e7a2522a302
children e1e1d5816d44
comparison
equal deleted inserted replaced
30656:321084a896d1 30657:d8bdb143d140
217 rem ---------------------------------------------------------------------- 217 rem ----------------------------------------------------------------------
218 :maindir 218 :maindir
219 Echo Configuring the main directory... 219 Echo Configuring the main directory...
220 If "%DJGPP_VER%" == "1" goto mainv1 220 If "%DJGPP_VER%" == "1" goto mainv1
221 Echo Looking for the GDB init file... 221 Echo Looking for the GDB init file...
222 If not Exist src\_gdbinit If Exist src\.gdbinit update src/.gdbinit src/_gdbinit 222 If Exist src\.gdbinit update src/.gdbinit src/_gdbinit
223 If Exist src\_gdbinit goto gdbinitOk 223 If Exist src\_gdbinit goto gdbinitOk
224 Echo ERROR: 224 Echo ERROR:
225 Echo I cannot find the GDB init file. It was called ".gdbinit" in 225 Echo I cannot find the GDB init file. It was called ".gdbinit" in
226 Echo the Emacs distribution, but was probably renamed to some other 226 Echo the Emacs distribution, but was probably renamed to some other
227 Echo name without the leading dot when you untarred the archive. 227 Echo name without the leading dot when you untarred the archive.