X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Finline%2FMakefile;h=8eeab8fc8b71bf3657bb729c51f234d20c5f6de7;hp=60ad8b77388b532bedef351d1b8d111a7b207c15;hb=1fd63df4c77f5c24024769432ea8492748b4ac79;hpb=277fc8ff21ce3dbd6893b1994c55cf5c06a98355

diff --git a/matita/matita/contribs/lambdadelta/bin/inline/Makefile b/matita/matita/contribs/lambdadelta/bin/inline/Makefile
index 60ad8b773..8eeab8fc8 100644
--- a/matita/matita/contribs/lambdadelta/bin/inline/Makefile
+++ b/matita/matita/contribs/lambdadelta/bin/inline/Makefile
@@ -5,8 +5,8 @@ REQUIRES =
 include ../Makefile.common
 
 test:
-	@./inline.native -p ../lambdadelta/*/deps.txt > deps.txt
-	@../matitadep/matitadep.native -c ../lambdadelta/.depend deps.txt > redundant.txt
-	@./inline.native -i -b ../lambdadelta redundant.txt ../lambdadelta/*/deps.txt
+	@./inline.native -p ../../*/deps.txt > deps.txt
+	@../../../../../components/binaries/matitadep/matitadep.native -c ../../.depend deps.txt > redundant.txt
+	@./inline.native -i -b ../.. redundant.txt ../../*/deps.txt
 
 .PHONY: test