diff -r 3f14c769a4dc -r d5c5ed1b75ef tools/addToolVersion.sh
--- a/tools/addToolVersion.sh	Sat Aug 11 10:55:38 2007 +0000
+++ b/tools/addToolVersion.sh	Fri Sep 14 21:41:00 2007 +0000
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 # Adds a new version to one of the toolchain component
 myname="$0"