chiark / gitweb /
Merge remote-tracking branch 'origin/deploy' into deploy.gibson deploy.gibson
authorMark Wooding <mdw@distorted.org.uk>
Tue, 11 May 2021 22:16:33 +0000 (23:16 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Tue, 11 May 2021 22:16:33 +0000 (23:16 +0100)
* origin/deploy:
  Makefile: Don't insist on `/usr/lib/.../coreutils/'.
  bin/chroot-maint: Enhance the `CROSS_TOOLS' pattern machinery.
  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