applyTransformation: added debugging information

[helm.git] / matita / dama / makefile

diff --git a/matita/dama/makefile b/matita/dama/makefile
index 39d64a95275a1157263b9b08297f6fdc11722911..ce86d13606c853eb26bad8f47cbadfecf4a12a3c 100644 (file)
--- a/matita/dama/makefile
+++ b/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)