diff options
Diffstat (limited to 'Tools/bin')
| -rw-r--r-- | Tools/bin/build.bat | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Tools/bin/build.bat b/Tools/bin/build.bat index 590bed8182..778004abc9 100644 --- a/Tools/bin/build.bat +++ b/Tools/bin/build.bat @@ -16,6 +16,8 @@ if ""%1""=="""" goto arg_end if ""%1""==""-q"" goto ant_arg
if ""%1""==""-v"" goto ant_arg
if ""%1""==""-d"" goto ant_arg
+if ""%1""==""-e"" goto ant_arg
+if ""%1""==""-emacs"" goto ant_arg
goto ant_target
|