[m-rev.] diff: FAILED_TESTS

Zoltan Somogyi zs at cs.mu.OZ.AU
Fri Aug 30 14:07:02 AEST 2002


tests/Mmake.common:
	Build a file in each test directory containing the names of the failed
	test cases in that directory.

Zoltan.

cvs diff: Diffing .
Index: Mmake.common
===================================================================
RCS file: /home/mercury1/repository/tests/Mmake.common,v
retrieving revision 1.26
diff -u -b -r1.26 Mmake.common
--- Mmake.common	2002/08/19 04:40:04	1.26
+++ Mmake.common	2002/08/19 17:02:18
@@ -229,6 +229,7 @@
 		rm -f *.date *.date3 *.opt *.optdate > /dev/null 2>&1; \
 		rm -f *.trans_opt *.trans_opt_date > /dev/null 2>&1; \
 	fi
+	@> FAILED_TESTS
 
 #
 # Run a single test, cleaning up if it succeeds, or producing
@@ -251,6 +252,7 @@
 	if [ -f $*.failed ]; then \
 		echo FAILED TEST $(THIS_DIR)/$* in grade $(GRADE) \
 			| tee -a $@; \
+		echo $* >> FAILED_TESTS; \
 	else \
 		{ mmake $$test.runtest 2>&1 || touch $*.failed; } \
 			| tee -a $@; \
@@ -261,6 +263,7 @@
 			fi; \
 			echo FAILED TEST $(THIS_DIR)/$* in grade $(GRADE) \
 				| tee -a $@; \
+			echo $* >> FAILED_TESTS; \
 		else \
 			rm -f $@; \
 			rm -f $$test.out* $$test.*res*; \
cvs diff: Diffing benchmarks
cvs diff: Diffing debugger
cvs diff: Diffing debugger/declarative
cvs diff: Diffing dppd
cvs diff: Diffing general
cvs diff: Diffing general/accumulator
cvs diff: Diffing general/structure_reuse
cvs diff: Diffing hard_coded
cvs diff: Diffing hard_coded/exceptions
cvs diff: Diffing hard_coded/purity
cvs diff: Diffing hard_coded/sub-modules
cvs diff: Diffing hard_coded/typeclasses
cvs diff: Diffing invalid
cvs diff: Diffing invalid/purity
cvs diff: Diffing misc_tests
cvs diff: Diffing recompilation
cvs diff: Diffing tabling
cvs diff: Diffing term
cvs diff: Diffing valid
cvs diff: Diffing warnings
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list