diff --git a/misc/tag-release b/misc/tag-release index 62e3eba5d..331e51a9a 100755 --- a/misc/tag-release +++ b/misc/tag-release @@ -20,6 +20,10 @@ do --no-push) push=0 ;; + -*) + echo "Invalid option: $opt" 1>&2 + exit 1 + ;; *) version=$opt ;;