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

[Mark Brown]

Unless there are any objections, I'll commit this soon.

Cheers,
Mark.

Estimated hours taken: 0.1
Branches: main

tools/test_mercury:
	On mars, build the compiler and run the tests with '--use-subdirs'.
	This is to increase the coverage of our nightly tests.

Index: tools/test_mercury
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/test_mercury,v
retrieving revision 1.152
diff -u -r1.152 test_mercury
--- tools/test_mercury	2001/05/31 05:17:23	1.152
+++ tools/test_mercury	2001/05/31 06:20:15
@@ -346,6 +346,11 @@
 			;;
 		esac
 		;;
+	mars)
+		CONFIG_OPTS=""
+		INSTALL_MCFLAGS="$INSTALL_MCFLAGS --use-subdirs"
+		TEST_MCFLAGS="$TEST_MCFLAGS --use-subdirs"
+		;;
 	*)	
 		CONFIG_OPTS="" ;;
 esac
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------