]> git.lizzy.rs Git - rust.git/commit - src/tools/clippy
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: a819a6c 2994b27)
Rollup merge of #52846 - kennytm:bootstrap-curl-timeout, r=Mark-Simulacrum
authorPietro Albini <pietro@pietroalbini.org>
Wed, 1 Aug 2018 08:12:50 +0000 (10:12 +0200)
committerGitHub <noreply@github.com>
Wed, 1 Aug 2018 08:12:50 +0000 (10:12 +0200)
commitc9aca0343fff5fc7377f200b395d13b8335dadd1
tree46d0601ab4c6bda3b4e7b4841d6c3c5a818918c5tree | snapshot
parenta819a6ce380b54c156dc026185b1cad4e0e11898commit | diff
parent2994b27e4033c2a0b77ab90f5a896ce09a122992commit | diff
Rollup merge of #52846 - kennytm:bootstrap-curl-timeout, r=Mark-Simulacrum

Add timeout to use of `curl` in bootstrap.py.

Recently we've seen a lot of "30 minutes no output" spurious errors while downloading the bootstrap compiler. This added several timeout options so if the "30 minutes no output" errors were caused by connection or transfer issue, we could fail quicker for curl to retry.
Empowering everyone to build reliable and efficient software.