diff --git a/php-lint/php-lint b/php-lint/php-lint index c14a4f3fc19d134c1aa02ad0396eee672b40d423..1e4c9aacf839836402ad3f09f4bd472dd83ad7a5 100644 --- a/php-lint/php-lint +++ b/php-lint/php-lint @@ -61,6 +61,6 @@ for dir in "${LINT_DIRS[@]}"; do elif [[ $rc == 0 ]] && [[ $QUIET == false ]]; then # all ok echo "$OUTPUT" fi - done + done || exit $? done done