X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Ftests%2FMakefile;h=1ea16550dffe1a7bc0673aa652c4a613d5c2ff0c;hb=4dd2d3dc8e1dbb22d71c8fa741a20fb7d506930a;hp=33d4589296c18262a2292fa6bae2f4c395ebed52;hpb=1276d3c7b85f4edc049a5d68a6120816fe64c806;p=helm.git

diff --git a/helm/matita/tests/Makefile b/helm/matita/tests/Makefile
index 33d458929..1ea16550d 100644
--- a/helm/matita/tests/Makefile
+++ b/helm/matita/tests/Makefile
@@ -1,6 +1,6 @@
 SRC=$(wildcard *.ma)
 
-MATITA_FLAGS =
+MATITA_FLAGS = -I ..
 NODB=false
 ifeq ($(NODB),true)
 	MATITA_FLAGS += -nodb