Hi Thomas! On 20.03.2014 14:21, Thomas Schwinge wrote:
I just realized that this is wrong usage of the dg-excess-errors directive, for this one will absorb *all* remaining errors, whereas you just wanted to mask out any »sorry, unimplemented: directive not yet implemented« ones.
Sorry for that. Next time I will more precise.
OK to fix as follows?
Sure. Thanks! -- Ilmir.