[m-rev.] trivial diff: disable hard_coded/test_injection in .profdeep grades

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

tests/hard_coded/Mmakefile:
	Do not run the test_injection test case in deep profiling
	grades since it uses exceptions and their use is not yet
	supported in these grades.

Julien.

Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/Mmakefile,v
retrieving revision 1.258
diff -u -r1.258 Mmakefile
--- Mmakefile	25 Jul 2005 07:15:05 -0000	1.258
+++ Mmakefile	26 Jul 2005 10:48:10 -0000
@@ -176,7 +176,6 @@
 	test_bitset \
 	test_cord \
 	test_imported_no_tag \
-	test_injection \
 	test_promise_impure_implicit \
 	time_test \
 	tim_qual1 \
@@ -371,6 +370,7 @@
 		allow_stubs \
 		dir_test \
 		test_array2d \
+		test_injection \
 		user_defined_equality \
 		write_binary
 else

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