run: exit with error on unrecognized argument

core0-buffer
parent 9edd6f374d
commit a56abe8830
  1. 2
      local_run.sh
  2. 2
      remote_run.sh

@ -6,7 +6,7 @@ impure=0
while getopts "h:i" opt; do
case "$opt" in
\?) exit 0
\?) exit 1
;;
i) impure=1
;;

@ -9,7 +9,7 @@ impure_dir="build"
while getopts "h:id:" opt; do
case "$opt" in
\?) exit 0
\?) exit 1
;;
h) target_host=$OPTARG
;;

Loading…
Cancel
Save