chiark / gitweb /
Merge branch 'deploy' into deploy.universe deploy.universe
authorMark Wooding <mdw@distorted.org.uk>
Sun, 9 Aug 2020 00:11:23 +0000 (01:11 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sun, 9 Aug 2020 00:11:23 +0000 (01:11 +0100)
commitef077e20240e8476bc390751f9b6474fa0843b32
tree625c407fc3dfd524d76c0a11bd2c3e9d47e1a07b
parent3cde241f3f1a70a629be582e8e638fe5d015a9f8
parentee2edd7c84587c58c2d7e0cb5d2c97f978f38757
Merge branch 'deploy' into deploy.universe

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