chiark / gitweb /
src/crosstool.in: Don't establish `$crosstool' if we don't need it.
authorMark Wooding <mdw@distorted.org.uk>
Wed, 22 Apr 2020 21:38:56 +0000 (22:38 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Wed, 22 Apr 2020 21:39:55 +0000 (22:39 +0100)
commitb6a56709f8b0d731eb21b298cb3183bba98f4cfc
tree9bcacd9e7e340e24888e86384f8061558fb69c08
parent901f45ed5efee7108bae76c7186160e956ecaa19
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.
src/crosstool.in