[m-rev.] trivial diff: run nightly tests on mars with --use-subdirs

[Mark Brown]

Estimated hours taken: 0.2
Branches: main

tools/test_mercury:
	The earlier attempt at running tests on mars with --use-subdirs
	did not work because the option was only passed to mmc, not
	mmake.  Instead, we export MMAKE_USE_SUBDIRS=yes on mars before
	running the tests.

Index: tools/test_mercury
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/test_mercury,v
retrieving revision 1.153
diff -u -r1.153 test_mercury
--- tools/test_mercury	2001/05/31 06:42:36	1.153
+++ tools/test_mercury	2001/06/01 16:33:01
@@ -348,8 +348,8 @@
 		;;
 	mars)
 		CONFIG_OPTS=""
-		INSTALL_MCFLAGS="$INSTALL_MCFLAGS --use-subdirs"
-		TEST_MCFLAGS="$TEST_MCFLAGS --use-subdirs"
+		MMAKE_USE_SUBDIRS=yes
+		export MMAKE_USE_SUBDIRS
 		;;
 	*)	
 		CONFIG_OPTS="" ;;
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------