[nasm:master] misc/tag-release: die on unknown options

[nasm-bot f. H. P. A. <hp...@zy...>]

Commit-ID:  021b10ca14984d8da244258ae2dbcbefe142aa82
Gitweb:     http://repo.or.cz/w/nasm.git?a=commitdiff;h=021b10ca14984d8da244258ae2dbcbefe142aa82
Author:     H. Peter Anvin <hp...@zy...>
AuthorDate: Sun, 21 Feb 2016 21:05:16 -0800
Committer:  H. Peter Anvin <hp...@zy...>
CommitDate: Sun, 21 Feb 2016 21:05:16 -0800

misc/tag-release: die on unknown options

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

Signed-off-by: H. Peter Anvin <hp...@zy...>


---
 misc/tag-release | 4 ++++
 1 file changed, 4 insertions(+)

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