chiark / gitweb /
Merge branch 'makebuildserver-caching-fixes' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Tue, 26 Jan 2016 11:00:58 +0000 (11:00 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Tue, 26 Jan 2016 11:00:58 +0000 (11:00 +0000)
commit88d369e2936900f4c03a3994801309e2367ba18e
tree260842ec81e2f8c544f745363911a4adc48dfba9
parent1ff4f63de348ccca80dc3e773fcd2da58ffd07b2
parent980339d2f5c2677523c0a01ab89d5f17ee59c395
Merge branch 'makebuildserver-caching-fixes' into 'master'

./makebuildserver CI fixes

These are fixes for caching and flexible config related to the work of getting `./makebuildserver` running on Debian's and Guardian Project's Jenkins boxes.  @mvdan and I have been working with h01lger to get that going, here's the latest build log: https://jenkins.debian.net/view/reproducible/job/reproducible_setup_fdroid_build_environment_profitbricks3/lastBuild/console

See merge request !91