The following commit has been merged in the master branch:
commit 712254935b867545f4b08302c1f4d23d27aad465
Author: Eugeniy Meshcheryakov <eu...@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

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to