jenkins-bot has submitted this change and it was merged. Change subject: make mw-core-get.sh strict (set -e) ......................................................................
make mw-core-get.sh strict (set -e) Change-Id: Ia33aa6a01c7eb33d1a279b13a3a247a99d79abfd --- M bin/mw-core-get.sh 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Hashar: Looks good to me, approved jenkins-bot: Verified diff --git a/bin/mw-core-get.sh b/bin/mw-core-get.sh index 32612f4..3e9d118 100755 --- a/bin/mw-core-get.sh +++ b/bin/mw-core-get.sh @@ -1,4 +1,4 @@ -#!/bin/bash -x +#!/bin/bash -xe # Local bare git repository # On Wikimedia CI server, that is a Gerrit replica -- To view, visit https://gerrit.wikimedia.org/r/97515 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ia33aa6a01c7eb33d1a279b13a3a247a99d79abfd Gerrit-PatchSet: 1 Gerrit-Project: integration/jenkins Gerrit-Branch: master Gerrit-Owner: Hashar <has...@free.fr> Gerrit-Reviewer: Hashar <has...@free.fr> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
