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

[Julien Fischer]

(Mark, this should fix the problem you had bootchecking on ceres.)

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
--------------------------------------------------------------------------