From f689020da84a93e0de99275e8287c01720afb8cd Mon Sep 17 00:00:00 2001 From: Debian Julia Team Date: Fri, 17 May 2019 10:01:01 +0100 Subject: [PATCH] jldownload-verbose-fakedownload Gbp-Pq: Name jldownload-verbose-fakedownload.patch --- deps/tools/jldownload | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/deps/tools/jldownload b/deps/tools/jldownload index 9982219..4ce801b 100755 --- a/deps/tools/jldownload +++ b/deps/tools/jldownload @@ -2,6 +2,7 @@ # # usage: jldownload [] # +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 -- 2.30.2