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