chiark / gitweb /
~mdw / distorted-chroot / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 089b417 1965c97)
Merge branch 'master' into 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)
* master:
  Makefile: Don't insist on `/usr/lib/.../coreutils/'.
  bin/chroot-maint: Enhance the `CROSS_TOOLS' pattern machinery.


Trivial merge
Machinery for managing Debian (host and cross-) build chroots.