X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fdama%2Fmakefile;h=ce86d13606c853eb26bad8f47cbadfecf4a12a3c;hb=87ed0c3e2ccd74f21f81c2cc9ed2945109bf0a9a;hp=39d64a95275a1157263b9b08297f6fdc11722911;hpb=09af08664dba3af3980c645935b42754c19ad6b4;p=helm.git

diff --git a/helm/software/matita/dama/makefile b/helm/software/matita/dama/makefile
index 39d64a952..ce86d1360 100644
--- a/helm/software/matita/dama/makefile
+++ b/helm/software/matita/dama/makefile
@@ -26,7 +26,7 @@ cleanall.opt: preall
 %.mo: preall
 	$(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) $@
 %.mo.opt: preall
-	$(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) $@
+	$(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) $(@:.opt=)
 	
 preall:
 	$(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) init $(devel)