mkpackage: use www.lsts.pt instead of lsts.pt.

This commit is contained in:
Paulo Dias 2019-01-08 20:44:04 +00:00 committed by GitHub
parent 4c8324abc3
commit 580816dde8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -72,7 +72,7 @@ download()
fi
# First try LSTS mirror.
lsts_url="https://lsts.pt/glued/$(basename $u)"
lsts_url="https://www.lsts.pt/glued/$(basename $u)"
download_tool "$lsts_url" "$cfg_dir_downloads/$file"
if [ $? -ne 0 ]; then
# Then try OceanScan-MST mirror.