chiark / gitweb /
buildserver: add copy_caches_from_host config option
authorHans-Christoph Steiner <hans@eds.org>
Thu, 23 Jun 2016 15:12:06 +0000 (17:12 +0200)
committerHans-Christoph Steiner <hans@eds.org>
Tue, 23 May 2017 18:04:08 +0000 (20:04 +0200)
commitdaade7656afa39c1a8f9b5e039d554c503ee8a91
tree5d35662fcaddfe4451b4b5d6099182156a0cd089
parent4cde71552fa42b47f527efd366ba55566c096be8
buildserver: add copy_caches_from_host config option

For people using slow, expensive, and/or flaky internet, liberal use of
caching can make a huge difference.  The restricted environment of the
gpjenkins box has been a good test environment for this (Tor-only,
whitelist of allowed IPs to visit, home internet connection).
examples/makebuildserver.config.py
jenkins-build-makebuildserver
makebuildserver