[m-dev.] bootchecking with extra mmc command line option.

[Peter Wang]

On 2008-01-20, Paul Bone <pbone at csse.unimelb.edu.au> wrote:
> 
> Hi.
> 
> I have some changes to the compiler that are enabled by a new command
> line option.  How can I bootcheck the compiler with this option enabled?
> (I am already able to select the correct grade with -G).

Put the option into a file called Mmake.stage.params.  You still need to
select the grade with bootcheck -G.

Peter

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