------- Comment #6 from janis at gcc dot gnu dot org 2006-09-13 16:54 ------- Benjamin, I had tried that, but it adds "timeout=300" to the options passed to the compiler. Does it really work for you?
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28870
