[gmsh] 08/11: use all hardening options

[Nico Schlömer]

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

nschloe-guest pushed a commit to branch master
in repository gmsh.

commit a1bcd56cfb59efa63453183806249e763799213f
Author: Nico Schlömer <nico.schloemer at gmail.com>
Date:   Mon Nov 6 18:14:40 2017 +0100

    use all hardening options
---
 debian/rules | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/debian/rules b/debian/rules
index 148a0d2..7dc86b5 100755
--- a/debian/rules
+++ b/debian/rules
@@ -2,7 +2,8 @@
 BUILDDIR = $(CURDIR)/debian/build
 JAVA_HOME=/usr/lib/jvm/default-java
 
-export DEB_CFLAGS_MAINT_APPEND  = -Wall -pedantic
+export DEB_BUILD_MAINT_OPTIONS = hardening=+all
+export DEB_CFLAGS_MAINT_APPEND = -Wall -pedantic
 export DEB_LDFLAGS_MAINT_APPEND = -Wl,--as-needed
 
 # Add --with javahelper for java-wrappers
@@ -12,7 +13,6 @@ export DEB_LDFLAGS_MAINT_APPEND = -Wl,--as-needed
 
 export OMPI_MCA_plm_rsh_agent=/bin/false                #workaround to start MPI-applications in chroot
 
-
 disable_mpi_archs = kfreebsd-amd64 kfreebsd-i386 ia64
 disable_auto_test_archs = mips64el
 export LD_LIBRARY_PATH :=  $(CURDIR)/debian/tmp/usr/lib:$(LD_LIBRARY_PATH);

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/gmsh.git