Tell wget to retry for connection-refused errors.

* This should help the build process to survive short-lived connection 
  problems (as they happened to buildbot slaves tonight).
This commit is contained in:
Oliver Tappe 2014-06-29 12:19:38 +02:00
parent 473a74f72e
commit 0230e26b37

View File

@ -478,7 +478,7 @@ actions DownloadLocatedFile1
echo "ERROR: Would need to download $(URL), but HAIKU_NO_DOWNLOADS is set!"
exit 1
fi
wget -O "$(1)" $(URL) || exit 1
wget --retry-connrefused -O "$(1)" $(URL) || exit 1
touch "$(1)"
}