In the non-lean case, would this mean a change to a header (i.e. you edit it in the source tree) wouldn't cause a proper re-build if you re-bootstrapped?
- [PATCH] Fix up make bootstrap-lean; make install (PR bootst... Jakub Jelinek
- Re: [PATCH] Fix up make bootstrap-lean; make install (... DJ Delorie
- Re: [PATCH] Fix up make bootstrap-lean; make install (... Paolo Bonzini
- Re: [PATCH] Fix up make bootstrap-lean; make insta... Jakub Jelinek
- Re: [PATCH] Fix up make bootstrap-lean; make i... Paolo Bonzini
- Re: [PATCH] Fix up make bootstrap-lean; make install (... Richard Biener