diff --git a/local_run.sh b/local_run.sh index b57a8b0c..940ae448 100755 --- a/local_run.sh +++ b/local_run.sh @@ -6,7 +6,7 @@ impure=0 while getopts "h:i" opt; do case "$opt" in - \?) exit 0 + \?) exit 1 ;; i) impure=1 ;; diff --git a/remote_run.sh b/remote_run.sh index b00ac568..3f963397 100755 --- a/remote_run.sh +++ b/remote_run.sh @@ -9,7 +9,7 @@ impure_dir="build" while getopts "h:id:" opt; do case "$opt" in - \?) exit 0 + \?) exit 1 ;; h) target_host=$OPTARG ;;