allow set proxy for github (#1198)

in  china , github is blocked, we use https://ghproxy.com/ for proxy

for example
use
`wget https://ghproxy.com/https://github.com/stilleshan/ServerStatus/archive/master.zip`
instead of 
`wget https://github.com/stilleshan/ServerStatus/archive/master.zip`
This commit is contained in:
usrtax
2022-09-02 14:12:33 +08:00
committed by GitHub
parent 2dc07d7505
commit 89524d55bd

View File

@@ -80,7 +80,9 @@ if [[ $target = darwin-x64 ]]; then
fi
fi
github_repo="https://github.com/oven-sh/bun"
GITHUB=${GITHUB-"https://github.com"}
github_repo="$GITHUB/oven-sh/bun"
if [[ $target = darwin-x64 ]]; then
# If AVX2 isn't supported, use the -baseline build