[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle branch, master, updated. debian/1.0.0_rc11.deb-1-14-ge1f61b4

[Eugeniy Meshcheryakov]

The following commit has been merged in the master branch:
commit 712254935b867545f4b08302c1f4d23d27aad465
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Mon Apr 9 16:50:23 2012 +0200

    Pass at least some options to configure

diff --git a/debian/rules b/debian/rules
index 4133a65..1f9664c 100755
--- a/debian/rules
+++ b/debian/rules
@@ -13,10 +13,10 @@ VIM_RDIR = $(CURDIR)/debian/coccinelle/usr/share/vim/registry
 COMMON_CONFIG = --prefix=/usr
 
 ifeq ($(OCAML_NATDYNLINK),yes)
-#CONFIG_FLAGS = $(COMMON_CONFIG) --opt
+CONFIG_FLAGS = $(COMMON_CONFIG)
 MAKE_TGT = all.opt
 else
-#CONFIG_FLAGS = $(COMMON_CONFIG) --no-opt
+CONFIG_FLAGS = $(COMMON_CONFIG)
 MAKE_TGT = all
 endif
 

-- 
Debian packaging for coccinelle