From a56abe8830fdefbe8f38cccc3b4282d3f072c2e1 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Sat, 4 Jul 2020 17:54:03 +0800
Subject: [PATCH] run: exit with error on unrecognized argument

---
 local_run.sh  | 2 +-
 remote_run.sh | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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
         ;;