Niedzielski has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/305756

Change subject: fail on error #chore
......................................................................

fail on error #chore

replace manual `|| exit 1` with the standard `set -euo pipefail` setting
which also guards against unexpected errors

Change-Id: Ib9dd8245d5efca75275d219d30598e79eb735e1e
---
M dev-scripts/pre-commit
1 file changed, 6 insertions(+), 8 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/MobileFrontend 
refs/changes/56/305756/1

diff --git a/dev-scripts/pre-commit b/dev-scripts/pre-commit
index 733afc9..d0d8f5f 100755
--- a/dev-scripts/pre-commit
+++ b/dev-scripts/pre-commit
@@ -1,21 +1,19 @@
 #!/usr/bin/env bash
 # Enable this pre-commit hook by running 'make installhooks'
+set -euo pipefail
 
 # check for trailing whitespace
-if [[ `git diff --cached --check` ]]; then
-       git diff --cached --check
-       exit 1
-fi
+git diff --cached --check
 
-make jshint || exit 1
-make jscs || exit 1
+make jshint
+make jscs
 
 if git diff --name-only --cached | grep --regexp '\.js$' ; then
-       make qunit || exit 1
+       make qunit
 fi
 
 if git diff --name-only --cached | grep --regexp '\.*php$' ; then
-       make phplint || exit 1
+       make phplint
 fi
 
 if git diff --name-only --cached | grep --regexp 'includes/skins/.*php$' ; then

-- 
To view, visit https://gerrit.wikimedia.org/r/305756
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Ib9dd8245d5efca75275d219d30598e79eb735e1e
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: Niedzielski <sniedziel...@wikimedia.org>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to