From 8b20bd289ac08a72e5a3fbd5da76e7dd5584c214 Mon Sep 17 00:00:00 2001 From: Debian Julia Team Date: Tue, 22 Jan 2019 20:19:55 +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