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