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