Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Don't rerun the build script for the compiler each time on linux
In practice, this doesn't matter very much because the script takes ~no time to run. But this makes `CARGO_LOG=info` easier to read, and theoretically saves a few milliseconds.
- Loading branch information