[m-rev.] trivial diff: fix nightly builds of the main branch

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

Fix the nightly builds of the main branch.

tools/test_mercury:
	s/--copy-profiler/--copy-profilers/ in line with
	Zoltan's recent change to the bootcheck script.

Julien.

Index: test_mercury
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/test_mercury,v
retrieving revision 1.250
diff -u -r1.250 test_mercury
--- test_mercury	17 Feb 2005 08:37:15 -0000	1.250
+++ test_mercury	2 May 2005 06:51:31 -0000
@@ -699,7 +699,7 @@
 version=`mmake $target_opts version` || { false; exit 1; }
 fullarch=`mmake $target_opts fullarch` || { false; exit 1; }
 tools/bootcheck $use_cp_opt $target_opts \
-	--keep-objs --copy-runtime --copy-profiler \
+	--keep-objs --copy-runtime --copy-profilers \
 	--no-test-suite $PARALLEL || $install_anyway || { false; exit 1; }
 cd .. || { false; exit 1; }


--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------