diff options
Diffstat (limited to 'autotest-external.sh')
-rwxr-xr-x | autotest-external.sh | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/autotest-external.sh b/autotest-external.sh index 7d2e506ae98..a6ca077ebb0 100755 --- a/autotest-external.sh +++ b/autotest-external.sh @@ -167,11 +167,14 @@ EOF fi if [ -z "$NOCOVERAGE" ]; then "$PHPUNIT" --configuration phpunit-autotest-external.xml --log-junit "autotest-external-results-$1.xml" --coverage-clover "autotest-external-clover-$1.xml" --coverage-html "coverage-external-html-$1" - RESULT=$? else echo "No coverage" "$PHPUNIT" --configuration phpunit-autotest-external.xml --log-junit "autotest-external-results-$1.xml" - RESULT=$? + fi + + if [[ $? -ne 0 ]]; then + echo "Error during phpunit execution ... terminating" + exit 1 fi if [ -n "$2" -a "$2" == "common-tests" ]; then |