Let the upstream downloader used during build be verbose,

Last-Update: 20180711
Forwarded: no need

        and prevent it from accessing internet.

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

diff --git a/deps/tools/jldownload b/deps/tools/jldownload
index 99822195fe303e82494cff0989c7a5ad7256d708..5dd16cdb0ad78fce0d167306bab5d85e9e5b3786 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,8 @@ 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
+DEST_URL=$(echo "$GETURL"|awk '{print $NF}'|sed 's#^.*file://##')
+ORIG_URL=$(echo "$URL"|awk '{print $NF}'|sed 's#^.*file://##')
+CP=$(which cp)
+$CP "$ORIG_URL" "$DEST_URL"