I was wondering if we should simply probe for the availability of the GCC option and not use it, if using an older GCC, then change the help text for the option accordingly. This approach would allow make randconfig or similar to work as expected with older compilers.
Ralf
