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

mehdi pushed a commit to branch master
in repository frama-c.

commit 3ab1bc766deba9bd63ef5e255468aeabe95a08f7
Author: Mehdi Dogguy <me...@debian.org>
Date:   Sat Dec 31 01:35:42 2016 +0100

    Drop configure flag --disable-security as it became useless.
---
 debian/changelog | 1 +
 debian/rules     | 1 -
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index 67841e7..aaade5c 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -9,6 +9,7 @@ frama-c (20161101+silicon+dfsg-3) UNRELEASED; urgency=medium
   * Re-enable Impact plugin by dropping --disable-impact flag for configure
     script. The plugin used to be non open-source, which is not the case
     anymore.
+  * Drop configure flag --disable-security as it became useless.
 
  -- Mehdi Dogguy <me...@debian.org>  Thu, 22 Dec 2016 10:06:03 +0100
 
diff --git a/debian/rules b/debian/rules
index b3caeaf..567c433 100755
--- a/debian/rules
+++ b/debian/rules
@@ -19,7 +19,6 @@ override_dh_auto_configure:
                --mandir=\$${prefix}/share/man   \
                --infodir=\$${prefix}/share/info \
                --datarootdir=\$${prefix}/share  \
-               --disable-security               \
                --enable-verbosemake             \
                --enable-zarith="$(OCAML_STDLIB_DIR)/zarith" \
                CFLAGS="$(CFLAGS)"               \

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/frama-c.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