]> matita.cs.unibo.it Git - helm.git/commitdiff
library-auto removed from tests (too slow even in native code)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 13 May 2007 20:25:44 +0000 (20:25 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 13 May 2007 20:25:44 +0000 (20:25 +0000)
matita/Makefile

index b19f646fb84af9835a03a9c529727ac9164caa64..c6b6f0b1ffe08f4b73020ec814811216881dc143 100644 (file)
@@ -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