changeset 521 | 859941cfbb0d |
parent 466 | 7f9bbf94b0bb |
child 523 | 010f6f4e4dd6 |
1.1 --- a/tools/addToolVersion.sh Wed Apr 30 10:43:41 2008 +0000 1.2 +++ b/tools/addToolVersion.sh Mon May 19 21:40:41 2008 +0000 1.3 @@ -66,7 +66,7 @@ 1.4 --copy) tool_suffix=copy;; 1.5 # Misc: 1.6 -h|--help) doHelp; exit 0;; 1.7 - -*) echo "Unknown option: \"${!i}\". (use -h/--help for help"; exit 1;; 1.8 + -*) echo "Unknown option: \"${!i}\" (use -h/--help for help)."; exit 1;; 1.9 *) VERSION="${VERSION} ${!i}";; 1.10 esac 1.11 i=$((i+1))