/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.config

  • 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.config
1
 
#! /bin/sh
2
 
#
3
 
# config        Mandos Debconf configuration.
4
 
#
5
 
 
6
 
# Source debconf library.
7
 
. /usr/share/debconf/confmodule
8
 
if ! db_version 2.0; then
9
 
    echo "mandos.config: need DebConf 2.0 or later"
10
 
    exit 1
11
 
fi
12
 
 
13
 
set -e
14
 
umask 022
15
 
 
16
 
# Now, interaction.  Batch it in case any front ends can use this.
17
 
db_beginblock
18
 
 
19
 
# If this is a first time install then prompt 
20
 
if [ "$1" = "configure" -a "$2" != "" ]; then
21
 
        db_input high mandos/not-yet-configured || true
22
 
fi
23
 
 
24
 
db_endblock
25
 
db_go || true
26
 
 
27
 
exit 0