From: Mark Wooding <mdw@distorted.org.uk>
Date: Tue, 4 Aug 2020 22:40:35 +0000 (+0100)
Subject: bin/chroot-maint: Enhance the `CROSS_TOOLS' pattern machinery.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/distorted-chroot/commitdiff_plain/33c6b9e71097b18c30e48a98a2f2e4fd4150e3ed?hp=33c6b9e71097b18c30e48a98a2f2e4fd4150e3ed

bin/chroot-maint: Enhance the `CROSS_TOOLS' pattern machinery.

There's now a way to list alternative and optional patterns.
---