X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Ftests%2Fmakefile;h=c610118b6f80d94badbb2fdf370b73283812b35f;hb=2c80e9d9409119febcab9c08d6e6cad702384169;hp=4fbb0512ec5b6611cabe05fa17a877676c17d6a9;hpb=8b22275a12f9dccbb49aa13b290582472a81f763;p=helm.git

diff --git a/helm/software/matita/tests/makefile b/helm/software/matita/tests/makefile
index 4fbb0512e..c610118b6 100644
--- a/helm/software/matita/tests/makefile
+++ b/helm/software/matita/tests/makefile
@@ -30,7 +30,7 @@ cleanall.opt: preall
 %.mo: preall
 	$(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) $@
 %.mo.opt: preall
-	$(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) $@
+	$(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) $(@:.opt=)
 	
 preall:
 	$(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) init $(devel)