diff -r 223c84ec2d90 -r 98baeb928964 scripts/functions
--- a/scripts/functions	Sun Jul 01 19:04:20 2007 +0000
+++ b/scripts/functions	Sat Jul 07 09:58:14 2007 +0000
@@ -158,10 +158,18 @@
 # Test the presence of a tool, or abort if not found
 # Usage: CT_HasOrAbort <tool>
 CT_HasOrAbort() {
-    CT_TestAndAbort "\"${1}\" not found and needed for successfull toolchain build." -z "`which \"${1}\"`"
+    CT_TestAndAbort "\"${1}\" not found and needed for successfull toolchain build." -z "`CT_Which \"${1}\"`"
     return 0
 }
 
+# Search a program: wrap "which" for those system where
+# "which" verbosely says there is no match (Mdk are such
+# suckers...)
+# Usage: CT_Which <filename>
+CT_Which() {
+  which "$1" 2>/dev/null || true
+}
+
 # Get current date with nanosecond precision
 # On those system not supporting nanosecond precision, faked with rounding down
 # to the highest entire second
@@ -292,8 +300,8 @@
 # Wrapper function to call one of curl or wget
 # Usage: CT_DoGetFile <URL>
 CT_DoGetFile() {
-    local _wget=`which wget`
-    local _curl=`which curl`
+    local _wget=`CT_Which wget`
+    local _curl=`CT_Which curl`
     case "${_wget},${_curl}" in
         ,)  CT_DoError "Could find neither wget nor curl";;
         ,*) CT_DoGetFileCurl "$1" 2>&1 |CT_DoLog ALL;;