From ec57b172235af36adc9bf709bf6488edd4ec8544 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 18 Nov 2005 17:25:27 +0000 Subject: [PATCH] fix --- helm/matita/Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in index 4d558519f..c489fe33d 100644 --- a/helm/matita/Makefile.in +++ b/helm/matita/Makefile.in @@ -27,7 +27,7 @@ OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLC_FLAGS) $(OCAML_DEBUG_FLAGS) OCAMLOPT = $(OCAMLFIND) opt $(OCAMLC_FLAGS) OCAMLDEP = $(OCAMLFIND) ocamldep $(OCAML_FLAGS) -MATITA_FLAGS = +MATITA_FLAGS = -noprofile NODB=false ifeq ($(NODB),true) MATITA_FLAGS += -nodb -- 2.39.2