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)
commit8f5d95d04ecf34c41738f8bc04a6302530264fd9
treed0cc106a359eee987b1e3c966964dfd026622e81
parentee30f53de86280ac63b991b8e0b72294def5b4d5
parentee2edd7c84587c58c2d7e0cb5d2c97f978f38757
Merge remote-tracking branch 'origin/deploy' into deploy.gibson

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