chiark / gitweb /
src/crosstool.in: Don't establish `$crosstool' if we don't need it.
[mdw-cross] / tools / cross-elfedit
2018-11-24 Mark WoodingRearrange everything.