diff options
author | 2018-07-04 14:26:10 +0200 | |
---|---|---|
committer | 2018-07-04 14:28:37 +0200 | |
commit | 645092413275f7212d82ae4ccc401a0c318a8369 (patch) | |
tree | 2682f0a17ce4ab7eb229ee71d504d54f4c86b3d2 /INSTALL/tasks.d/70_doc | |
parent | dfdf89f2311db675bf3cfc1162572b19e8a681f1 (diff) |
Add timeouts and retries to wget calls
We have some connection issues in Jenkins and thus add retries and timeouts to wget.
Change-Id: I49fbde9ab2e86fa0760635b74d5e7e6010f4abb6
Signed-off-by: Jan-Simon Möller <jsmoeller@linuxfoundation.org>
Diffstat (limited to 'INSTALL/tasks.d/70_doc')
0 files changed, 0 insertions, 0 deletions