Re: [PATCH] Avoid re-fetching bootstrapping tarball by using `wget --continue`

[Mario Domenech Goulart]

On Fri, 31 Jul 2020 16:07:38 +1200 Evan Hanson  wrote:

> This just avoids downloading multiple (useless) copies of the snapshot
> archive when there is already a local copy by telling wget to
> "--continue" i.e. reuse the existing archive.

Thanks, Evan.  I've pushed your patch.

All the best.
Mario
-- 
http://parenteses.org/mario

[PATCH] Avoid re-fetching bootstrapping tarball by using `wget --continue`

[Evan Hanson]

This just avoids downloading multiple (useless) copies of the snapshot
archive when there is already a local copy by telling wget to
"--continue" i.e. reuse the existing archive.
---
 scripts/bootstrap.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/bootstrap.sh b/scripts/bootstrap.sh
index b465667d..e8ea0f30 100755
--- a/scripts/bootstrap.sh
+++ b/scripts/bootstrap.sh
@@ -6,7 +6,7 @@ set -e
 
 mkdir -p boot/snapshot
 cd boot
-wget https://code.call-cc.org/releases/5.2.0/chicken-5.2.0.tar.gz
+wget -c https://code.call-cc.org/releases/5.2.0/chicken-5.2.0.tar.gz
 tar -xzf chicken-5.2.0.tar.gz
 cd chicken-5.2.0
 make "$@" PREFIX="$(pwd)"/../snapshot
-- 
2.27.0