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-versions.html
-- David Hendricks (dhendrix) Systems Software Engineer, Google Inc.
-- coreboot mailing list: [email protected] https://www.coreboot.org/mailman/listinfo/coreboot
