diff options
author | Eli Zaretskii <eliz@gnu.org> | 2011-09-29 15:08:36 +0300 |
---|---|---|
committer | Eli Zaretskii <eliz@gnu.org> | 2011-09-29 15:08:36 +0300 |
commit | 7cc013b5ba8d4141b100228494d4044b112120ad (patch) | |
tree | e456bd8dc13eacd5848babe1af7c9858164bbb0f /config.bat | |
parent | 31bed4862096a95c1dc9a44d4561a5d08436ac3b (diff) | |
download | emacs-7cc013b5ba8d4141b100228494d4044b112120ad.tar.gz |
Restore GNUmakefile. Fix capitalization in config.bat.
Diffstat (limited to 'config.bat')
-rw-r--r-- | config.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config.bat b/config.bat index 803fd48deef..cbbcf0cfcd5 100644 --- a/config.bat +++ b/config.bat @@ -329,7 +329,7 @@ goto End :gdbinitOk
Echo Looking for the GDB init file...found
rem GNUMakefile is not appropriate for MS-DOS so move it out of the way
-If Exist GNUMakefile mv -f GNUMakefile GNUMakefile.unix
+If Exist GNUmakefile mv -f GNUmakefile GNUmakefile.unix
copy msdos\mainmake.v2 Makefile >nul
rem ----------------------------------------------------------------------
goto End
|