Re: Use other switches of the jikes

[Stefan Bodewig]

On Fri, 13 Jul 2001, Ming-Fang Wang <[EMAIL PROTECTED]> wrote:

> Actually, it is not jikes specific, I just want to use -nowarn
> switch.

Strange that we've marked it as Jikes-only ...

Will be fixed soon.

Stefan