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
