diff -r 7f9bbf94b0bb -r 731718e6ffdc tools/addToolVersion.sh --- a/tools/addToolVersion.sh Wed Apr 30 10:43:41 2008 +0000 +++ b/tools/addToolVersion.sh Fri May 02 17:49:29 2008 +0000 @@ -66,7 +66,7 @@ --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))