From c08d245f89fca33f24ae774d056a40dde5870bd2 Mon Sep 17 00:00:00 2001
From: Alan Nelson <alan.nelson@nebraska.edu>
Date: Tue, 17 Aug 2021 11:40:13 -0500
Subject: [PATCH] Fix bug in php-lint script
---
php-lint/php-lint | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/php-lint/php-lint b/php-lint/php-lint
index c14a4f3..1e4c9aa 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
--
GitLab