1.1 --- a/tools/addToolVersion.sh Sat Aug 11 10:55:38 2007 +0000
1.2 +++ b/tools/addToolVersion.sh Wed Jan 16 22:21:55 2008 +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"