diff options
author | H. Peter Anvin <hpa@zytor.com> | 2016-02-21 21:05:16 -0800 |
---|---|---|
committer | H. Peter Anvin <hpa@zytor.com> | 2016-02-21 21:05:16 -0800 |
commit | 021b10ca14984d8da244258ae2dbcbefe142aa82 (patch) | |
tree | 996b186f480dd03bcc47b7c9e36ddbac90346d7a | |
parent | 408b200684cbf19c3deee83ce33684aa2c8f08c0 (diff) | |
download | nasm-021b10ca14984d8da244258ae2dbcbefe142aa82.tar.gz |
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>
-rwxr-xr-x | misc/tag-release | 4 |
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 ;; |