From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 14 Dec 2005 10:37:25 +0000 (+0000)
Subject: added -I../..
X-Git-Tag: make_still_working~7998
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=30028f3f9d4109822f998e2d064b00696db6db59;p=helm.git

added -I../..
---

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