diff --git a/generate-cmdlist.sh b/generate-cmdlist.sh
index 06c42b042d999856aacb9e156cffc39eb8dbce3f..1de14ea82fe678e3afb66ea11d6dd6e306158387 100755 (executable)
--- a/generate-cmdlist.sh
+++ b/generate-cmdlist.sh
show-branch
status
tag
-verify-tag
EOF
while read cmd
do