Re: [coreboot] How to build coreboot with alternate toolchain?

[David Hendricks]

Hi Paul,
Do you have multiple versions of GCC installed? You might need to use
"update-alternatives" to manage them. I haven't done so with Debian, but
this page seems to have a pretty good explanation:
http://lektiondestages.blogspot.com/2013/05/installing-and-switching-gccg-ve...