s434730/RandomSec
3
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Adding "server_test_debug" option for more logging

Browse Source
This commit is contained in:
Thad Guidry 2018-01-04 14:12:58 -06:00 committed by GitHub
parent 13b494b136
commit abab02750e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
refine.bat
View File

@ -197,6 +197,7 @@ rem ----- Respond to the action ------------------------------------------------
set ACTION=%1
if ""%ACTION%"" == ""build"" goto doAnt
if ""%ACTION%"" == ""server_test_debug"" goto doAntDebug
if ""%ACTION%"" == ""server_test"" goto doAnt
if ""%ACTION%"" == ""extensions_test"" goto doAnt
if ""%ACTION%"" == ""clean"" goto doAnt
@ -224,4 +225,8 @@ echo.
"%ANT_HOME%\bin\ant.bat" -f build.xml %ACTION%
goto end
:doAntDebug
"%ANT_HOME%\bin\ant.bat" -f -v -diagnostics build.xml %ACTION%
goto end
:end