diff -r 2289c546c8e1 -r b64cfb67944e scripts/functions
--- a/scripts/functions	Mon Aug 01 18:56:15 2011 +0200
+++ b/scripts/functions	Tue Aug 02 18:28:10 2011 +0200
@@ -629,11 +629,11 @@
     local uri="$2"
     local rev="$3"
 
-    # Does it exist localy?
-    CT_GetLocal "${basename}" && return 0 || true
-    # No, it does not...
-
-    CT_DoLog EXTRA "Retrieving '${basename}'"
+    # First try locally, then the mirror
+    if CT_GetFile "${basename}"; then
+        # Got it! Return early! :-)
+        return 0
+    fi
 
     CT_MktempDir tmp_dir
     CT_Pushd "${tmp_dir}"