[m-rev.] [for review 3/4] Add the --mfilterjavac option to mmc

[Julien Fischer]

On Thu, 18 Apr 2013, Paul Bone wrote:

> For review by Julien.
>
> Add the --mfilterjavac option to mmc
>
> The new --mfilterjavac option is used to specify a program to filter javac's
> output in order to re-write the locations of errors created by Java foreign
> code.
>
> compiler/options.m:
>    Add the new option.
>
> compiler/compile_target_code.m:
>    Handle the new option.

That looks fine.

Cheers,
Julien.