Skip to content

Commit

Permalink
Copy .dbxinit to _dbxinit.
Browse files Browse the repository at this point in the history
  • Loading branch information
Eli Zaretskii committed Feb 28, 2009
1 parent fe45ee1 commit d6ace86
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions config.bat
Expand Up @@ -270,6 +270,7 @@ rem ----------------------------------------------------------------------
: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
Expand Down

0 comments on commit d6ace86

Please sign in to comment.