diff options
author | Marcello Stanisci <stanisci.m@gmail.com> | 2018-09-10 10:20:35 +0200 |
---|---|---|
committer | Marcello Stanisci <stanisci.m@gmail.com> | 2018-09-10 10:20:35 +0200 |
commit | 5b1335ccbda844fa655d6a8b33a22a531d540046 (patch) | |
tree | f474b6d1311243a6bbc1fc4f63a8cf4544e97bf0 /taler-build | |
parent | b47a08180d0f2f06d79efe7d75ea76a1950ad867 (diff) | |
download | deployment-5b1335ccbda844fa655d6a8b33a22a531d540046.tar.gz deployment-5b1335ccbda844fa655d6a8b33a22a531d540046.tar.bz2 deployment-5b1335ccbda844fa655d6a8b33a22a531d540046.zip |
No need to build GNUnet documentation.
Diffstat (limited to 'taler-build')
-rwxr-xr-x | taler-build/update_gnunet.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/taler-build/update_gnunet.sh b/taler-build/update_gnunet.sh index 7e8aa27..3e89e07 100755 --- 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 |