chiark / gitweb /
buildserver: support optionally using qemu+kvm
authorHans-Christoph Steiner <hans@eds.org>
Mon, 5 Sep 2016 21:21:24 +0000 (23:21 +0200)
committerHans-Christoph Steiner <hans@eds.org>
Mon, 19 Sep 2016 14:33:12 +0000 (16:33 +0200)
commit0ae2df6646dfe927475378eba2b762a3ec86b0e7
tree537cc04a1a93f540f0f7d786a69544ce5386c5c4
parent5af53238d398c41e09f9f0c6e3923025a5702028
buildserver: support optionally using qemu+kvm

This makes it possible to run the full build process in a KVM virtual
machine, like jenkins.debian.net.

closes #190
buildserver/Vagrantfile