chiark / gitweb /
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)
commit3cde241f3f1a70a629be582e8e638fe5d015a9f8
tree354a4927b4a1e60068280440c43f4e48bb7703d3
parent07f68002d73a4121908dec71a7701b813d4e0016
parent089b4175cd60b472efa997a9a6e9185c98f65e8c
Merge branch 'deploy' into deploy.universe

* 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.