[m-rev.] diff: copy .mgnu* files to stage 2 slice directory

Mark Brown mark at csse.unimelb.edu.au
Sat Jul 7 14:08:56 AEST 2007


On 07-Jul-2007, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> 
> (Mark, this should fix the problem you had bootchecking on ceres.)

Thanks for that.  I'll try manually running the nightly tests on ceres
again.  We can work out a crontab on Monday.

Cheers,
Mark.

> 
> Estimated hours taken: 0.5
> Branches: main
> 
> Fix a problem with bootchecks in hl* grades.
> 
> tools/bootcheck:
> 	When creating the stage 2 slice directory, copy the .mgnuc_opts and
> 	.mgnuc_copts files as well, otherwise mgnuc will not be able to
> 	find any .mih files for newly added library modules.
> 
> Julien.
> 
> Index: bootcheck
> ===================================================================
> RCS file: /home/mercury/mercury1/repository/mercury/tools/bootcheck,v
> retrieving revision 1.194
> diff -u -r1.194 bootcheck
> --- bootcheck	12 Jun 2007 00:05:08 -0000	1.194
> +++ bootcheck	6 Jul 2007 16:13:59 -0000
> @@ -770,6 +770,7 @@
>              $LN_S $root/slice/*.m .
>              cp $root/slice/Mmake* $root/slice/Mercury.options .
>              cp $root/slice/*_FLAGS.in .
> +            cp $root/slice/.mgnu* .
>              cd $root/$stage2dir
>          else
>              $LN_S $root/slice .
> 
> --------------------------------------------------------------------------
> 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
> --------------------------------------------------------------------------
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list