chiark / gitweb /
Merge branch 'deploy' into deploy.crybaby
authorMark Wooding <mdw@distorted.org.uk>
Tue, 4 Aug 2020 21:04:39 +0000 (22:04 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Tue, 4 Aug 2020 21:04:39 +0000 (22:04 +0100)
commit7ab609a341ca4928e8688902060b1d6d70775202
tree087384b7a6603303ad9ef5734c2af21479ab18fd
parent4ba01b8b6c4702d7152980605a601498d890a645
parent089b4175cd60b472efa997a9a6e9185c98f65e8c
Merge branch 'deploy' into deploy.crybaby

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