From: Mark Wooding <mdw@distorted.org.uk>
Date: Wed, 22 Apr 2020 21:38:56 +0000 (+0100)
Subject: src/crosstool.in: Don't establish `$crosstool' if we don't need it.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/mdw-cross/commitdiff_plain/b6a56709f8b0d731eb21b298cb3183bba98f4cfc?hp=b6a56709f8b0d731eb21b298cb3183bba98f4cfc

src/crosstool.in: Don't establish `$crosstool' if we don't need it.

The code ends up longer, but it's less confusing this way.
---