ocaml 3.09 transition

[helm.git] / helm / matita / tests / bad_tests / Makefile

diff --git a/helm/matita/tests/bad_tests/Makefile b/helm/matita/tests/bad_tests/Makefile
index 6ce0b0d62fa605069660bae071733c841952614c..8f7a83fd599e7793f2d859b6fb9cec29220a5233 100644 (file)
--- 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 $@