/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: 2019-08-02 07:19:32 UTC
  • mto: This revision was merged to the branch mainline in revision 386.
  • Revision ID: teddy@recompile.se-20190802071932-wmo43ahs1oejrzlb
http://bugs.debian.org/933701
Makefile: "pkg-config" is now overrideable by PKG_CONFIG

* Makefile (PKG_CONFIG): New.
  (SYSTEMD, TMPFILES): Use $(PKG_CONFIG) instead of "pkg-config".
  (GNUTLS_CFLAGS, GNUTLS_LIBS, AVAHI_CFLAGS, AVAHI_LIBS): - '' -
  (LIBNL3_CFLAGS, LIBNL3_LIBS, GLIB_CFLAGS, GLIB_LIBS): - '' -

Closes: 933701
Reported-by: Helmut Grohne <helmut@subdivi.de>
Suggested-by: Helmut Grohne <helmut@subdivi.de>
Thanks: Helmut Grohne <helmut@subdivi.de> for bug report and patch

Show diffs side-by-side

added added

removed removed

Lines of Context:
debian/mandos.prerm
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
        ;;