chiark / gitweb /
Merge branch 'master' into deploy deploy
authorMark Wooding <mdw@distorted.org.uk>
Sun, 9 Aug 2020 00:08:48 +0000 (01:08 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sun, 9 Aug 2020 00:08:48 +0000 (01:08 +0100)
commitee2edd7c84587c58c2d7e0cb5d2c97f978f38757
treed0cc106a359eee987b1e3c966964dfd026622e81
parent089b4175cd60b472efa997a9a6e9185c98f65e8c
parent1965c9714ea9b35272d9ada830067b5508359764
Merge branch 'master' into deploy

* master:
  Makefile: Don't insist on `/usr/lib/.../coreutils/'.
  bin/chroot-maint: Enhance the `CROSS_TOOLS' pattern machinery.