From 5879bb7478f7ecb55f2cfba6469460a8ad767625 Mon Sep 17 00:00:00 2001
From: Peter Cai <peter.cai@uwaterloo.ca>
Date: Fri, 17 Feb 2023 09:52:52 -0500
Subject: [PATCH] Exit on unknown options
---
run.sh | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/run.sh b/run.sh
index bc0df3c..9fcf9dc 100755
--- a/run.sh
+++ b/run.sh
@@ -37,7 +37,8 @@ while [[ $# -gt 0 ]]; do
shift
;;
*)
- break
+ echo "Unknown option $1"
+ exit 1
;;
esac
done
--
GitLab