X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Frecomm%2FMakefile;h=cb3deebf664f0ffe5facc56325c2703559ab37b1;hp=fdee8f321d45717ee74cbf97f723a1689c95753a;hb=dbc57c92512c04b3fd88f8289bb8dbe99b2f90e0;hpb=baa54e5db0fb93c4242dd1b67a5018ca63206cf6

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/Makefile b/matita/matita/contribs/lambdadelta/bin/recomm/Makefile
index fdee8f321..cb3deebf6 100644
--- a/matita/matita/contribs/lambdadelta/bin/recomm/Makefile
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/Makefile
@@ -8,7 +8,7 @@ clean::
 	@$(RM) recommGc*.ml*
 
 test:
-	@./recomm.native $(O) -C ../../ground/steps . | sort | uniq > log.txt
+	@./recomm.native -r $(O) -C srcs . | sort | uniq > log.txt
 
 MRCS = $(wildcard *.mrc)