release snapshot

[helm.git] / helm / matita / template_makefile.in

diff --git a/helm/matita/template_makefile.in b/helm/matita/template_makefile.in
index 8cbef1fd193a85cc08f35047dfcd3c9ebc831679..57f1301d57e9e265dc1aeaa68f3ca23ac930d063 100644 (file)
--- a/helm/matita/template_makefile.in
+++ b/helm/matita/template_makefile.in
@@ -1,7 +1,8 @@
 SRC=$(shell find @ROOT@ -name "*.ma" -a -type f)
 TODO=$(SRC:%.ma=%.mo)
 
-MATITA_FLAGS=-noprofile
+MATITA_FLAGS=
+MATITA_FLAGS+=-noprofile
 NODB=false
 ifeq ($(NODB),true)
        MATITA_FLAGS += -nodb