------- 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

Reply via email to