* Paul Menzel paulepanter@users.sourceforge.net [130422 17:04]:
could you please test building coreboot for your hardware with GCC 4.7.3 and report back your results [1]? Make sure to save your build with GCC 4.7.2 for comparison beforehand as `make crossgcc` will delete `build/`.
Did you mean to suggest saving the xgcc directory? build/ is not needed unless you're debugging buildgcc itself. In which case you can run buildgcc with option -t.
Stefan