Merge pull request #2285 from deitch/fix-bashism-in-update-script

Remove bashism in script
This commit is contained in:
Avi Deitcher 2017-07-25 13:14:28 +03:00 committed by GitHub
commit 5b86baeb17

View File

@ -7,7 +7,7 @@ set -e
# see usage() for usage and functionality
#
function usage() {
usage() {
cat >&2 <<EOF
$0 --<mode> <how-to-find> <new-hash>