More careful identification of @ignore
Jonathan.Gibbons at Sun.COM
Thu Oct 2 12:26:41 PDT 2008
I'm sorry; that is ... disappointing. I'll raise the priority to fix this.
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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the jtreg-use