/mandos/release

To get this branch, use:
bzr branch http://bzr.recompile.se/loggerhead/mandos/release

« back to all changes in this revision

Viewing changes to debian/mandos.prerm

  • Committer: Teddy Hogeborn
  • Date: 2016-08-06 00:53:13 UTC
  • mto: (237.7.594 trunk)
  • mto: This revision was merged to the branch mainline in revision 350.
  • Revision ID: teddy@recompile.se-20160806005313-q9n4b1b7707hnjj4
Makefile: Replace "-fsanitize=address" with "-fsanitize=leak"

The Address Sanitizer is a debugging feature, not a security feature -
it has security issues:  <http://seclists.org/oss-sec/2016/q1/363>
Therefore, it should only be used when debugging.  Replace it with
"-fsanitize=leak", which is needed since -fsanitize=address no longer
includes it implicitly.

* Makefile (DEBUG): Add "-fsanitize=address".
  (ALL_SANITIZE_OPTIONS): Replace "-fsanitize=address" with
                          "-fsanitize=leak".

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
#! /bin/sh
 
1
#!/bin/sh
2
2
# prerm script for mandos
3
3
#
4
4
# see: dh_installdeb(1)
17
17
 
18
18
case "$1" in
19
19
    remove|deconfigure)
20
 
        if [ -x /etc/init.d/mandos ]; then
21
 
                if [ -x /usr/sbin/invoke-rc.d ]; then
22
 
                        invoke-rc.d mandos stop
23
 
                else
24
 
                        /etc/init.d/mandos stop
25
 
                fi
26
 
        fi
 
20
        invoke-rc.d mandos stop || :
27
21
        ;;
28
22
    upgrade|failed-upgrade)
29
23
        ;;