X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Ftests%2Fbad_tests%2FMakefile;h=1b955ff184597b0c65405b2e1bf46d26ab25b2ac;hb=975e536db4920307acb78de083621491f0566de1;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..1b955ff18 100644
--- a/helm/matita/tests/bad_tests/Makefile
+++ b/helm/matita/tests/bad_tests/Makefile
@@ -1,13 +1,13 @@
 SRC=$(wildcard *.ma)
 
-MATITA_FLAGS =
+MATITA_FLAGS = -I ../..
 NODB=false
 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)
 
@@ -32,10 +32,13 @@ verbose:
 %.opt:
 	$(H)$(MAKE) MATITAC='$(MATITACOPT)' MATITACLEAN='$(MATITACLEANOPT)' MATITADEP='$(MATITADEPOPT)' $(@:%.opt=%)
 
-clean:
+clean_:
+	rm -r __*not_for_matita
+
+clean: clean_
 	$(H)$(MATITACLEAN) $(SRC)
 
-cleanall:
+cleanall: clean_
 	$(H)rm -f $(SRC:%.ma=%.moo)
 	$(MATITACLEAN) all
 
@@ -45,10 +48,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 $@