diff --git a/run.sh b/run.sh index bc0df3c5e5dd61c5ae454577ac6132ecb9d26953..9fcf9dc6af15c96870f4a7eeb51676a61a138069 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