X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2FMakefile;fp=matita%2Fmatita%2Fcontribs%2Flambdadelta%2FMakefile;h=13465a4fc32d58f30241ecb54106a20e4ea3db27;hb=621cd752af1ba6b277199c84986104c8119cfa6c;hp=a340e2ef309b9d678357f75e6792d18e7de9538f;hpb=b5cb5cc7230870f757aadbe6b43ee146fe485a6d;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/Makefile b/matita/matita/contribs/lambdadelta/Makefile
index a340e2ef3..13465a4fc 100644
--- a/matita/matita/contribs/lambdadelta/Makefile
+++ b/matita/matita/contribs/lambdadelta/Makefile
@@ -70,7 +70,7 @@ xoa: $(XOA_TARGETS)
 
 $(XOA_TARGETS): $(XOA_CONF)
 	@echo "  EXEC $(XOA) $(XOA_CONF)"
-	$(H)MATITA_RT_BASE_DIR=../.. $(XOA_DIR)/$(XOA) $(XOA_OPTS)
+	$(H)$(XOA_DIR)/$(XOA) $(XOA_OPTS)
 
 # xoa2 #######################################################################