jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/326049 )
Change subject: Use the phan exit code directly
......................................................................
Use the phan exit code directly
Change-Id: Ic99e334576e350d11c57ac4b74085c99313401c4
---
M tests/phan/bin/phan
1 file changed, 3 insertions(+), 3 deletions(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/tests/phan/bin/phan b/tests/phan/bin/phan
index e9222a4..cfaf9a1 100755
--- a/tests/phan/bin/phan
+++ b/tests/phan/bin/phan
@@ -33,6 +33,8 @@
--output "$ROOT/tests/phan/issues/issues-${REV}" \
"${@}"
+EXIT_CODE="$?"
+
# Re-link the latest file
rm -f "${ISSUES}/latest"
ln -s "${RUN}" "${ISSUES}/latest"
@@ -40,6 +42,4 @@
# Output any issues that were found
cat "${RUN}"
-if [ $(wc -l < ${RUN}) -ne 0 ]; then
- exit 1
-fi
+exit $EXIT_CODE
--
To view, visit https://gerrit.wikimedia.org/r/326049
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ic99e334576e350d11c57ac4b74085c99313401c4
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: EBernhardson <ebernhard...@wikimedia.org>
Gerrit-Reviewer: Legoktm <lego...@member.fsf.org>
Gerrit-Reviewer: MaxSem <maxsem.w...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
