diff --git a/scripts/for_all_contracts_exec.sh b/scripts/for_all_contracts_exec.sh index 5abef4a8664..a405af6367e 100755 --- a/scripts/for_all_contracts_exec.sh +++ b/scripts/for_all_contracts_exec.sh @@ -48,7 +48,7 @@ shopt -s globstar command=( "${@:2}" ) -options=$(getopt -o p:i:q: --long path:,ignore:,quiet:,partition: -- "$@") +options=$(getopt -o p:i:q --long path:,ignore:,quiet,partition: -- "$@") [ $? -eq 0 ] || { >&2 echo "Incorrect option provided" usage