On Tue, 5 Nov 2013, Mike Stump wrote:
> On Nov 5, 2013, at 1:45 PM, Oleg Endo <oleg.e...@t-online.de> wrote:
> > You're right, it's redundant. It should be just
> > /* { dg-do compile } */
> >
> > shouldn't it?
>
> Yup, that's my take.Or nothing at all, as compile seems to be the default here. (grep for dg-do-what-default) brgds, H-P
