| commit | 2f43032f1a489204ea2c7f389aa574fbfea158c0 | [log] [tgz] |
|---|---|---|
| author | Ron Eldor <ron.eldor@arm.com> | Thu Dec 15 14:42:37 2016 +0200 |
| committer | Simon Butcher <simon.butcher@arm.com> | Thu Jul 27 15:08:01 2017 +0100 |
| tree | 6943b19b27cc7558ecc789c71150f5e5fe2fcb15 | |
| parent | b9f00a7f14df374d2bba23e7c089a205c9b74f4e [diff] [blame] |
Pre push hook script Add git_hook folder, and pre-push script, to be soft linked from .git/hooks/pre-push
diff --git a/tests/scripts/check-names.sh b/tests/scripts/check-names.sh index 191594c..4c66440 100755 --- a/tests/scripts/check-names.sh +++ b/tests/scripts/check-names.sh
@@ -12,7 +12,7 @@ set -eu if grep --version|head -n1|grep GNU >/dev/null; then :; else - echo "This script requires GNU grep." + echo "This script requires GNU grep.">&2 exit 1 fi