Ports: Force curl to follow redirects in run_fetch_web() (#266)

This fixes downloading files from github when building ports.
This commit is contained in:
Dan MacDonald 2019-07-01 18:57:46 +00:00 committed by Andreas Kling
parent 54d7670fc3
commit 362ac8f1ba

View file

@ -46,7 +46,7 @@ run_fetch_web() {
run_command_nocd rm -rf "$PORT_DIR"
fi
file=$(basename "$1")
run_command_nocd curl "$1" -o "$file"
run_command_nocd curl -L "$1" -o "$file"
mkdir "$PORT_DIR"
# may need to make strip-components configurable, as I bet some sick person