[m-rev.] diff: bootcheck -s bug fix

[Zoltan Somogyi]

tools/bootcheck:
	Fix an old bug: if you specify exactly which tests you want to run,
	run them only in their own directory, and don't try to run them
	in subdirectories as well.

Zoltan.

cvs diff: Diffing .
Index: bootcheck
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/tools/bootcheck,v
retrieving revision 1.198
diff -u -b -r1.198 bootcheck
--- bootcheck	12 Sep 2007 06:21:19 -0000	1.198
+++ bootcheck	27 Sep 2007 06:44:11 -0000
@@ -1610,7 +1610,7 @@
                 then
                     cd $root/${tests_prefix}tests/$specified_test_dir
                     mmake $target_opt $jfactor $test_grade_opt \
-                        SPECIFIED_TESTS="$specified_test_base" runtests
+                        SPECIFIED_TESTS="$specified_test_base" runtests_local
                     if test "$?" -ne "0"
                     then
                         test_status=$?
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------