X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Ftests%2Fbad_tests%2FMakefile;h=8f7a83fd599e7793f2d859b6fb9cec29220a5233;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=6ce0b0d62fa605069660bae071733c841952614c;hpb=ceb977d9f052e99b0e473c5484578eaaf307a4f6;p=helm.git

diff --git a/helm/matita/tests/bad_tests/Makefile b/helm/matita/tests/bad_tests/Makefile
index 6ce0b0d62..8f7a83fd5 100644
--- a/helm/matita/tests/bad_tests/Makefile
+++ b/helm/matita/tests/bad_tests/Makefile
@@ -6,8 +6,8 @@ ifeq ($(NODB),true)
 	MATITA_FLAGS += -nodb
 endif
 
-MATITAC=../../scripts/do_tests.sh $(DO_TESTS_OPTS) "../../matitac $(MATITA_FLAGS) -noprofile" "../../matitaclean $(MATITA_FLAGS)" log
-MATITACOPT=../../scripts/do_tests.sh $(DO_TESTS_OPTS) "../../matitac.opt $(MATITA_FLAGS) -noprofile" "../../matitaclean.opt $(MATITA_FLAGS)" log
+MATITAC=../../scripts/do_tests.sh $(DO_TESTS_OPTS) "../../matitac $(MATITA_FLAGS) -noprofile" "../../matitaclean $(MATITA_FLAGS)" /dev/null FAIL
+MATITACOPT=../../scripts/do_tests.sh $(DO_TESTS_OPTS) "../../matitac.opt $(MATITA_FLAGS) -noprofile" "../../matitaclean.opt $(MATITA_FLAGS)" /dev/null FAIL
 VERBOSEMATITAC=../../matitac $(MATITA_FLAGS)
 VERBOSEMATITACOPT=../../matitac.opt $(MATITA_FLAGS)
 
@@ -45,10 +45,7 @@ depend:
 .PHONY: depend
 
 %.moo:
-	$(H)($(MATITAC) $< && echo "ERROR: THIS SHOULD FAIL!") || \
-	  ((diff `basename $< .ma`.log log > diff || \
-            (echo "ERROR: WRONG OUTPUT"; cat diff)) && rm -f log diff) || \
-            rm -f log diff
+	$(H)$(MATITAC) $<
 
 $(DEPEND_NAME): $(SRC)
 	$(H)$(MATITADEP) $(SRC) > $@ || rm -f $@