http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47662
--- Comment #9 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-02-11
00:34:57 UTC ---
By the way, lately we have available { dg-add-options no_pch }
paolo.carlini at oracle dot com Thu, 10 Feb 2011 16:35:16 -0800
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47662
--- Comment #9 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-02-11
00:34:57 UTC ---
By the way, lately we have available { dg-add-options no_pch }