1 files changed, 5 insertions, 1 deletions
diff --git a/fetch b/fetch
index 0474997..89f10cf 100755
--- a/fetch
+++ b/fetch
@@ -38,7 +38,11 @@ fi
 
 if [ -e "$cachedir/$fn" ]; then
     cp -v "$cachedir/$fn" .
-    check_digest "$fn" "$digest" || rm -f "$fn"
+    if ! check_digest "$fn" "$digest"; then
+        rm -f "$fn"
+    else
+        echo "Found cached $url locally."
+    fi
 fi
 
 if ! [ -e "$fn" ]; then