X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Ftemplate_makefile.in;h=57f1301d57e9e265dc1aeaa68f3ca23ac930d063;hb=f28480139ee72d092a9405619c3bdf6d4ff155ee;hp=8cbef1fd193a85cc08f35047dfcd3c9ebc831679;hpb=da85bc7d139566aa819c8e922d01b2e476ff6990;p=helm.git

diff --git a/helm/matita/template_makefile.in b/helm/matita/template_makefile.in
index 8cbef1fd1..57f1301d5 100644
--- 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