diff options
Diffstat (limited to 'misc')
-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 ;; |