mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2025-07-29 11:41:15 +03:00
Pre push hook script
Add git_hook folder, and pre-push script, to be soft linked from .git/hooks/pre-push
This commit is contained in:
@ -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
|
||||
|
||||
|
Reference in New Issue
Block a user