chiark / gitweb /
Merge branch 'caching-for-makebuildserver' into 'master'
authorCiaran Gultnieks <ciaran@ciarang.com>
Wed, 26 Aug 2015 12:49:35 +0000 (12:49 +0000)
committerCiaran Gultnieks <ciaran@ciarang.com>
Wed, 26 Aug 2015 12:49:35 +0000 (12:49 +0000)
two quick kinds of caching for makebuildserver

I've been running `./makebuildserver` on a machine that only connects to the internet via Tor.  That means slow internet and other issues.  These two small changes made it easier to run `./makebuildserver` in this setup.  In combination with !25, this would give good support for working in low bandwidth environments.

See merge request !67


Trivial merge