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