chiark / gitweb /
~mdw / distorted-chroot / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | compact (merge: 07f6800 089b417)
Merge branch 'deploy' into deploy.universe
authorMark Wooding <mdw@distorted.org.uk>
Tue, 4 Aug 2020 21:16:47 +0000 (22:16 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Tue, 4 Aug 2020 21:16:47 +0000 (22:16 +0100)
* deploy:
  Makefile: Include C++ headers in the cross-tools bundle.
  Makefile: Use buster's Qemu on stretch.
  Makefile, bin/chroot-maint: Allow source distribution selection for Qemu.
  bin/chroot-maint: Add missing format argument to diagnostic.


Trivial merge
Machinery for managing Debian (host and cross-) build chroots.