On Friday 15 December 2006 09:02, Paolo Bonzini wrote: > >> http://gcc.gnu.org/onlinedocs/gccint/Makefile.html > >> http://gcc.gnu.org/install/build.html > > > > I read that, could you please quote the part that documents the current > > behavior. > > If you wish to use non-default GCC flags when compiling the stage2 and > stage3 compilers, set BOOT_CFLAGS on the command line when doing `make'. > Non-default optimization flags are less well tested here than the > default of `-g -O2', but should still work. > > > Let me offer a counter quote: > > The counter quote is obviously wrong, thanks for the report.
I think Mike's quote is only really misleading if taken out of context. The paragraph Paolo quoted immediately follows the text that Mike quoted. Paul
