[MediaWiki-commits] [Gerrit] make mw-core-get.sh strict (set -e) - change (integration/jenkins)
Hashar has uploaded a new change for review. https://gerrit.wikimedia.org/r/97515 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(-) git pull ssh://gerrit.wikimedia.org:29418/integration/jenkins refs/changes/15/97515/1 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: newchange Gerrit-Change-Id: Ia33aa6a01c7eb33d1a279b13a3a247a99d79abfd Gerrit-PatchSet: 1 Gerrit-Project: integration/jenkins Gerrit-Branch: master Gerrit-Owner: Hashar has...@free.fr ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] make mw-core-get.sh strict (set -e) - change (integration/jenkins)
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