diff --git a/refine.bat b/refine.bat index cef25a7ee..8c05868d8 100644 --- a/refine.bat +++ b/refine.bat @@ -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