1.1 --- a/tools/addToolVersion.sh	Sat Aug 11 10:55:38 2007 +0000
     1.2 +++ b/tools/addToolVersion.sh	Wed Sep 12 17:35:07 2007 +0000
     1.3 @@ -1,4 +1,4 @@
     1.4 -#!/bin/sh
     1.5 +#!/bin/bash
     1.6  
     1.7  # Adds a new version to one of the toolchain component
     1.8  myname="$0"