misc/tag-release: die on unknown options

If someone specifies an unknown option, they proabably typoed
something.

Signed-off-by: H. Peter Anvin <hpa@zytor.com>

1 files changed, 4 insertions, 0 deletions

diff --git a/misc/tag-release b/misc/tag-release
index 62e3eba5..331e51a9 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
         ;;