chiark / gitweb /
bin/chroot-maint: Enhance the `CROSS_TOOLS' pattern machinery.
authorMark Wooding <mdw@distorted.org.uk>
Tue, 4 Aug 2020 22:40:35 +0000 (23:40 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sun, 9 Aug 2020 00:08:14 +0000 (01:08 +0100)
commit33c6b9e71097b18c30e48a98a2f2e4fd4150e3ed
treea62ff92c163cc102a2d3ea5c1f9623c34bfaa2fe
parent44dfbdf59586d6f914e027080e22686007a523ad
bin/chroot-maint: Enhance the `CROSS_TOOLS' pattern machinery.

There's now a way to list alternative and optional patterns.
bin/chroot-maint