From 0afbbec8a125895d5d870bca14ff3084e81ef5ed Mon Sep 17 00:00:00 2001 From: Debian Julia Team Date: Sat, 2 Mar 2019 23:41:50 +0000 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