commit 5b1335ccbda844fa655d6a8b33a22a531d540046 parent b47a08180d0f2f06d79efe7d75ea76a1950ad867 Author: Marcello Stanisci <stanisci.m@gmail.com> Date: Mon, 10 Sep 2018 10:20:35 +0200 No need to build GNUnet documentation. Diffstat:
| M | taler-build/update_gnunet.sh | | | 7 | ++++++- |
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/taler-build/update_gnunet.sh b/taler-build/update_gnunet.sh @@ -11,5 +11,10 @@ branch=$(git rev-parse --abbrev-ref --symbolic-full-name @{u} 2>/dev/null || ech git reset --hard "$branch" ./bootstrap -./configure --prefix=$HOME/local --enable-logging=verbose --with-libgnurl=$HOME/local --with-microhttpd=$HOME/local +./configure --prefix=$HOME/local \ + --enable-logging=verbose \ + --with-libgnurl=$HOME/local \ + --with-microhttpd=$HOME/local \ + --disable-documentation + make install -j1