| commit | bf007d297d9dd1e539805830b5888697ed2a38c6 | [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 21:44:34 2017 +0100 |
| tree | 6943b19b27cc7558ecc789c71150f5e5fe2fcb15 | |
| parent | 6f262c4e3e9281c4bae9d4ee1cfe79a8fe241225 [diff] |
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