X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fcontribs%2FPREDICATIVE-TOPOLOGY%2FMakefile;h=c12b0fb43fc2328504fc16b1d0a15cdb13515ea9;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=fc2e0ce8438c3c038c9db5486cf76ac3bb2908d0;hpb=619bdaf9eda2c5bcc551c2a084184464c00e276a;p=helm.git

diff --git a/helm/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile b/helm/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile
index fc2e0ce84..c12b0fb43 100644
--- a/helm/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile
+++ b/helm/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile
@@ -6,8 +6,8 @@ ifeq ($(NODB),true)
 	MATITA_FLAGS += -nodb
 endif
 
-MATITAC=../../scripts/do_tests.sh $(DO_TESTS_OPTS) "../../matitac $(MATITA_FLAGS)" "../../matitaclean $(MATITA_FLAGS)" /dev/null
-MATITACOPT=../../scripts/do_tests.sh $(DO_TESTS_OPTS) "../../matitac.opt $(MATITA_FLAGS)" "../../matitaclean.opt $(MATITA_FLAGS)" /dev/null
+MATITAC=../../scripts/do_tests.sh $(DO_TESTS_OPTS) "../../matitac $(MATITA_FLAGS)" "../../matitaclean $(MATITA_FLAGS)" /dev/null OK
+MATITACOPT=../../scripts/do_tests.sh $(DO_TESTS_OPTS) "../../matitac.opt $(MATITA_FLAGS)" "../../matitaclean.opt $(MATITA_FLAGS)" /dev/null OK
 VERBOSEMATITAC=../../matitac $(MATITA_FLAGS)
 VERBOSEMATITACOPT=../../matitac.opt $(MATITA_FLAGS)