]> git.cworth.org Git - notmuch/commitdiff
Merge branch 'release'
authorDavid Bremner <david@tethera.net>
Tue, 21 Feb 2017 12:16:07 +0000 (08:16 -0400)
committerDavid Bremner <david@tethera.net>
Tue, 21 Feb 2017 12:16:07 +0000 (08:16 -0400)
Merge changes to use gpgconf --create-socketdir

1  2 
configure
test/test-lib.sh

diff --cc configure
index fa77eb8fd4b7b406f2b3a097137c4c5001c285f9,46063b5d2eeffabe893c70639ed74f754e5e0ed8..d0d8f18acef8a3d2f5cfbbf2c70361b0410e0af0
+++ b/configure
@@@ -612,16 -602,19 +612,29 @@@ if [ $WITH_DOCS = "1" ] ; the
      fi
  fi
  
+ have_gpgconf_socketdir=0
+ printf "Checking for gpgconf --{create,remove}-socketdir... "
+ if gpgconf --dump-options > /dev/null ; then
+     if gpgconf --dump-options | grep -q create-socketdir ; then
+       printf "Yes.\n"
+       have_gpgconf_socketdir=1
+     else
+       printf "No.\n"
+     fi
+ else
+     printf "No. (missing or broken gpgconf?)\n"
+ fi
 +if [ $WITH_DESKTOP = "1" ]; then
 +    printf "Checking if desktop-file-install is available... "
 +    if command -v desktop-file-install > /dev/null; then
 +      printf "Yes.\n"
 +    else
 +      printf "No (so will not install .desktop file).\n"
 +      WITH_DESKTOP=0
 +    fi
 +fi
 +
  libdir_in_ldconfig=0
  
  printf "Checking which platform we are on... "
Simple merge