changeset 102330:dc1b2f500b63

Copy .dbxinit to _dbxinit.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 28 Feb 2009 14:02:46 +0000
parents e045d5cde9d4
children 675fb960b96f
files config.bat
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/config.bat	Sat Feb 28 14:01:41 2009 +0000
+++ b/config.bat	Sat Feb 28 14:02:46 2009 +0000
@@ -270,6 +270,7 @@
 :maindir
 Echo Configuring the main directory...
 If Exist .dir-locals.el update .dir-locals.el _dir-locals.el
+If Exist src\.dbxinit update src/.dbxinit src/_dbxinit
 If "%DJGPP_VER%" == "1" goto mainv1
 Echo Looking for the GDB init file...
 If Exist src\.gdbinit update src/.gdbinit src/_gdbinit