From b47a08180d0f2f06d79efe7d75ea76a1950ad867 Mon Sep 17 00:00:00 2001
From: Marcello Stanisci <stanisci.m@gmail.com>
Date: Mon, 10 Sep 2018 09:49:11 +0200
Subject: Building.

MHD takes the --with-gnutls=/usr/local argument
because the Debian (unstable) package is too behind
what MHD needs, and a updated version of GnuTls has
been compiled into /usr/local.
---
 taler-build/update_libmicrohttpd.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/taler-build/update_libmicrohttpd.sh b/taler-build/update_libmicrohttpd.sh
index 56b8837..3168507 100755
--- a/taler-build/update_libmicrohttpd.sh
+++ b/taler-build/update_libmicrohttpd.sh
@@ -9,6 +9,7 @@ branch=$(git rev-parse --abbrev-ref --symbolic-full-name @{u} 2>/dev/null || ech
 git reset --hard "$branch"
 
 ./bootstrap
-./configure --prefix=$HOME/local
+./configure --prefix=$HOME/local \
+            --with-gnutls=/usr/local # Debian packages are too old.
 make
 make install
-- 
cgit v1.2.3