library-auto removed from tests (too slow even in native code)

[helm.git] / matita / Makefile

diff --git a/matita/Makefile b/matita/Makefile
index b19f646fb84af9835a03a9c529727ac9164caa64..c6b6f0b1ffe08f4b73020ec814811216881dc143 100644 (file)
--- a/matita/Makefile
+++ b/matita/Makefile
@@ -218,9 +218,9 @@ TEST_DIRS =                                 \
        contribs/PREDICATIVE-TOPOLOGY   \
        $(NULL)
 
+#      library_auto                    \
 TEST_DIRS_OPT =                        \
        $(TEST_DIRS)                    \
-       library_auto                    \
        $(NULL)
 
 .PHONY: tests tests.opt cleantests cleantests.opt