[m-rev.] For review: Remove extraneous -- in ALL_MGNUCFLAGS

[Julien Fischer]

On Mon, 30 Jul 2007, Eric Taucher wrote:

> Remove extraneous -- in ALL_MGNUCFLAGS
>
>
>
> scripts/Mmake.vars.in:
>
>            Clean up an extraneous -- when a previous option was removed.

Could you please not post your messages as HTML; the diffs are not 
readable in that format.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------