ocaml 3.09 transition

[helm.git] / helm / matita / library / Makefile

diff --git a/helm/matita/library/Makefile b/helm/matita/library/Makefile
index 607e57f41db8ee5a6ce9b57a32f0309f3ff44795..e13b3e8a48d6c05fb5e07f19043e285192c24309 100644 (file)
--- a/helm/matita/library/Makefile
+++ b/helm/matita/library/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)