diff --git a/update_examples.sh b/update_examples.sh index 3bff9f3d..a9d86cf0 100755 --- a/update_examples.sh +++ b/update_examples.sh @@ -36,7 +36,7 @@ usingBuild=0 usingSHA=0 commit_sha="" -handle_options() { +function handle_options () { while [ $# -gt 0 ]; do case "$1" in -h | --help)