diff options
| -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 de97110a..2c35cc79 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)) |