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)
The code ends up longer, but it's less confusing this way.


No differences found