diff --git a/Jenkinsfile2 b/Jenkinsfile2 index 6b48aabab8cfe62c94da2bed0027259ed2326bae..515667d8cc26ff9a86100652ad735c4f662a8b9a 100644 --- a/Jenkinsfile2 +++ b/Jenkinsfile2 @@ -293,7 +293,7 @@ def run_win_test() { time /t cd %WIN_SYSTEM_TEST_ROOT% echo "testing ..." - test-all.bat + test-all.bat ci time /t ''' }