run: use getopt

This commit is contained in:
Ciro Santilli
2018-08-20 09:18:15 +01:00
parent 0f6917410c
commit 036225b268
15 changed files with 268 additions and 171 deletions

View File

@@ -2,17 +2,20 @@
. "$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)/common"
common_gem5=true
generate_checkpoints=true
while getopts "C${common_getopts_flags}" OPT; do
case "$OPT" in
C)
parsed=$(getopt -o "C${common_getopt_flags}" -l "$common_getopt_flags_long" -- "$@")
eval set -- "$parsed"
while true; do
case "$1" in
-C)
generate_checkpoints=false
shift
;;
?)
common_getopts_case "$OPT"
*)
common_getopt_case "$@"
;;
esac
done
shift "$(($OPTIND - 1))"
common_setup
# Vars