https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103331
--- Comment #2 from Eric Gallager <egallager at gcc dot gnu.org> --- I'm assuming that the way that build.log is normally generated is by just appending `| tee build.log` to the end of a normal `make` command?
