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?

Reply via email to