More careful identification of @ignore

[Jonathan Gibbons]

I'm sorry; that is  ... disappointing.  I'll raise the priority to fix this.

-- Jon

Martin Buchholz wrote:
> On Thu, Oct 2, 2008 at 11:47, Jonathan Gibbons <Jonathan.Gibbons at sun.com> wrote:
>   
>> Egads, 'twould appear t'be true.
>>
>> As a workaround, I suggest you use the -ignore switch (e.g. -ignore:quiet)
>> instead of -k:\!ignore.
>>     
>
> I tried -ignore:quiet,
> but that appears to have the same bug;
> that is, it is not a workaround.
>
> Martin
>   

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mail.openjdk.java.net/pipermail/jtreg-use/attachments/20081002/1e246e6a/attachment.html