diff --git a/dev-support/test-patch.sh b/dev-support/test-patch.sh index c42b843..cbfdc47 100755 --- a/dev-support/test-patch.sh +++ b/dev-support/test-patch.sh @@ -345,6 +345,7 @@ checkCompilationErrors() { Compilation errors resume: $ERRORS " + submitJiraComment 1 cleanupAndExit 1 fi }