Fix for DownloadURL to try alternative URL

Change-Id: I7e9a77815ef8f4c258dda44bda6fdd4eb3736ef4
Reviewed-by: Heikki Halmet <heikki.halmet@qt.io>
(cherry picked from commit 518e114dc7)
Reviewed-by: Jani Heikkinen <jani.heikkinen@qt.io>
This commit is contained in:
Dimitrios Apostolou
2019-10-11 11:30:38 +02:00
committed by Jukka Jokiniva
parent aebccd2885
commit 9f88c3e7c0

View File

@@ -99,9 +99,9 @@ DownloadURL () {
if ! Download "$url" "$targetFile"
then
echo "FAIL! to download, trying alternative URL: $url2" 1>&2
if ! Download "$url" "$targetFile"
if ! Download "$url2" "$targetFile"
then
echo 'FAIL! to download even from alternative url' 1>&2
echo 'FAIL! to download even from alternative URL' 1>&2
return 1
fi
fi