diff -r 3f14c769a4dc -r c33f2e996017 tools/addToolVersion.sh
--- a/tools/addToolVersion.sh	Sat Aug 11 10:55:38 2007 +0000
+++ b/tools/addToolVersion.sh	Tue Oct 30 19:15:45 2007 +0000
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 # Adds a new version to one of the toolchain component
 myname="$0"