[Bug other/103331] There should be a rule to make build.log in the top-level Makefile

2023-10-20 Thread egallager at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103331 --- Comment #3 from Eric Gallager --- (In reply to Eric Gallager from comment #2) > 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? hm, doing it that

[Bug other/103331] There should be a rule to make build.log in the top-level Makefile

2023-10-15 Thread egallager at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103331 --- Comment #2 from Eric Gallager --- 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?

[Bug other/103331] There should be a rule to make build.log in the top-level Makefile

2021-11-20 Thread egallager at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103331 Eric Gallager changed: What|Removed |Added CC||neroden at gcc dot gnu.org --- Comment