bootstrap.sh: Use curl instead of wget
This commit is contained in:
parent
26233a0d88
commit
28a5891841
1 changed files with 1 additions and 1 deletions
|
@ -12,7 +12,7 @@ fossil_sha512="7fc7de7d947b0946866df38c6cb2215f6452d31903cae6470bb4a692816b2803e
|
||||||
config_checkin="2eb2ee80f62086ec2644141df14caaa6f6f2427119c99d862fabc3bd18fa197f"
|
config_checkin="2eb2ee80f62086ec2644141df14caaa6f6f2427119c99d862fabc3bd18fa197f"
|
||||||
|
|
||||||
download_and_verify() {
|
download_and_verify() {
|
||||||
wget -O "$1" "$2"
|
curl "$2" >"$1"
|
||||||
hash="$(openssl sha512 "$1" | cut -d' ' -f 2)"
|
hash="$(openssl sha512 "$1" | cut -d' ' -f 2)"
|
||||||
|
|
||||||
echo "Hash for $1:"
|
echo "Hash for $1:"
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue