This is an automated email from the git hooks/post-receive script.

eugen pushed a commit to branch master
in repository coccinelle.

commit aeba4bb684b64d3ac4b20a9917f6d25ec0c84532
Author: Eugeniy Meshcheryakov <eu...@debian.org>
Date:   Tue Jan 9 23:51:32 2018 +0100

    Pass --disable-opt to configure instead of just not passing --enable-opt on 
architectures without native compilers (again, closes: #886714)
---
 debian/changelog | 7 +++++++
 debian/rules     | 2 ++
 2 files changed, 9 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index 1c897d4..aa2a96f 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+coccinelle (1.0.6.deb-3) experimental; urgency=medium
+
+  * Pass --disable-opt to configure instead of just not passing --enable-opt
+    on architectures without native compilers (again, closes: #886714)
+
+ -- Євгеній Мещеряков <eu...@debian.org>  Tue, 09 Jan 2018 23:49:39 +0100
+
 coccinelle (1.0.6.deb-2) experimental; urgency=medium
 
   * Use --enable-opt configure option instead of --enable-release, this should
diff --git a/debian/rules b/debian/rules
index c83a728..63862e2 100755
--- a/debian/rules
+++ b/debian/rules
@@ -12,6 +12,8 @@ CONFIG_FLAGS = --prefix=/usr --sysconfdir=/etc 
--libdir=/usr/lib --enable-ocaml
 
 ifeq ($(OCAML_NATDYNLINK),yes)
 CONFIG_FLAGS += --enable-opt
+else
+CONFIG_FLAGS += --disable-opt
 endif
 
 %:

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/coccinelle.git

_______________________________________________
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