diff -r 4b32ffb3f34d -r 7710d81d15e7 scripts/addToolVersion.sh
--- a/scripts/addToolVersion.sh	Thu Jan 29 18:48:05 2009 +0000
+++ b/scripts/addToolVersion.sh	Thu Jan 29 18:53:32 2009 +0000
@@ -1,8 +1,12 @@
 #!/bin/sh
+set -e
 
 # Adds a new version to one of the toolchain component
 myname="$0"
 
+# Parse the tools' paths configuration
+. "paths.mk"
+
 doHelp() {
     cat <<-EOF
 Usage: ${myname} <tool> <[options] version [...]> ...
@@ -53,7 +57,7 @@
     local SedExpr1 SedExpr2
 
     file="config/${tool_prefix}/${tool}.in"
-    v=$(echo "${version}" |sed -r -e 's/-/_/g; s/\./_/g;')
+    v=$(echo "${version}" |"${sed}" -r -e 's/-/_/g; s/\./_/g;')
 
     SedExpr1="${SedExpr1}config ${cat}_V_${v}\n"
     SedExpr1="${SedExpr1}    bool\n"
@@ -83,8 +87,8 @@
         fi
     fi
     SedExpr2="    default \"${version}\" if ${cat}_V_${v}"
-    sed -r -i -e 's/^(# CT_INSERT_VERSION_ABOVE)$/'"${SedExpr1}"'\n\1/;' "${file}"
-    sed -r -i -e 's/^(# CT_INSERT_VERSION_STRING_ABOVE)$/'"${SedExpr2}"'\n\1/;' "${file}"
+    "${sed}" -r -i -e 's/^(# CT_INSERT_VERSION_ABOVE)$/'"${SedExpr1}"'\n\1/;' "${file}"
+    "${sed}" -r -i -e 's/^(# CT_INSERT_VERSION_STRING_ABOVE)$/'"${SedExpr2}"'\n\1/;' "${file}"
 }
 
 cat=