From b16065638c7ae0baa0f91749ba84b0daef2c9371 Mon Sep 17 00:00:00 2001 From: a3hadi Date: Wed, 6 Mar 2024 14:27:00 -0500 Subject: [PATCH] modify update script Signed-off-by: a3hadi --- update_examples.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)