jldownload-verbose-fakedownload

Gbp-Pq: Name jldownload-verbose-fakedownload.patch

diff --git a/deps/tools/jldownload b/deps/tools/jldownload
index 99822195fe303e82494cff0989c7a5ad7256d708..4ce801b54ab89783095b03d774373523af1d56f3 100755 (executable)
--- a/deps/tools/jldownload
+++ b/deps/tools/jldownload
@@ -2,6 +2,7 @@
 #
 # usage: jldownload [<output-filename>] <url>
 #
+set -x
 
 CACHE_HOST=https://cache.julialang.org
 
@@ -44,4 +45,5 @@ fi
 # forward to the original URL if it has not cached this download yet, or
 # if the URL is not cacheable.  We fallback to directly querying the
 # uncached URL to protect against cache service downtime
-$GETURL $CACHE_URL || $GETURL $URL
+#$GETURL $CACHE_URL || $GETURL $URL
+$GETURL $URL