[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