diff options
Diffstat (limited to 'tools/addToolVersion.sh')
| -rwxr-xr-x | tools/addToolVersion.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/addToolVersion.sh b/tools/addToolVersion.sh index de97110..2c35cc7 100755 --- a/tools/addToolVersion.sh +++ b/tools/addToolVersion.sh @@ -66,7 +66,7 @@ while [ $i -le $# ]; do --copy) tool_suffix=copy;; # Misc: -h|--help) doHelp; exit 0;; - -*) echo "Unknown option: \"${!i}\". (use -h/--help for help"; exit 1;; + -*) echo "Unknown option: \"${!i}\" (use -h/--help for help)."; exit 1;; *) VERSION="${VERSION} ${!i}";; esac i=$((i+1)) |