------- Comment #6 from bonzini at gnu dot org 2008-09-30 15:38 ------- No, there is not yet an extra configure switch for that, but I'll add it. You can create a PR and assign it to me. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37681