comparison config.bat @ 102330:dc1b2f500b63

Copy .dbxinit to _dbxinit.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 28 Feb 2009 14:02:46 +0000
parents f7624bb0bd1f
children 1d1d5d9bd884
comparison
equal deleted inserted replaced
102329:e045d5cde9d4 102330:dc1b2f500b63
268 cd .. 268 cd ..
269 rem ---------------------------------------------------------------------- 269 rem ----------------------------------------------------------------------
270 :maindir 270 :maindir
271 Echo Configuring the main directory... 271 Echo Configuring the main directory...
272 If Exist .dir-locals.el update .dir-locals.el _dir-locals.el 272 If Exist .dir-locals.el update .dir-locals.el _dir-locals.el
273 If Exist src\.dbxinit update src/.dbxinit src/_dbxinit
273 If "%DJGPP_VER%" == "1" goto mainv1 274 If "%DJGPP_VER%" == "1" goto mainv1
274 Echo Looking for the GDB init file... 275 Echo Looking for the GDB init file...
275 If Exist src\.gdbinit update src/.gdbinit src/_gdbinit 276 If Exist src\.gdbinit update src/.gdbinit src/_gdbinit
276 If Exist src\_gdbinit goto gdbinitOk 277 If Exist src\_gdbinit goto gdbinitOk
277 Echo ERROR: 278 Echo ERROR: