[gerris] 04/07: Set the maximal hardening options
Anton Gladky
gladk at moszumanska.debian.org
Thu Nov 23 20:53:07 UTC 2017
This is an automated email from the git hooks/post-receive script.
gladk pushed a commit to branch master
in repository gerris.
commit 1ea3ef68d8a20e83831d1295db1bd56b6e42b329
Author: Anton Gladky <gladk at debian.org>
Date: Thu Nov 23 20:33:05 2017 +0100
Set the maximal hardening options
---
debian/rules | 2 ++
1 file changed, 2 insertions(+)
diff --git a/debian/rules b/debian/rules
index 47b7be4..bab2035 100755
--- a/debian/rules
+++ b/debian/rules
@@ -1,6 +1,8 @@
#!/usr/bin/make -f
export DEB_BUILD_OPTIONS=nocheck
+export DEB_BUILD_MAINT_OPTIONS = hardening=+all
+
%:
dh $@
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/gerris.git
More information about the debian-science-commits
mailing list