diff options
author | Marcello Stanisci <stanisci.m@gmail.com> | 2019-03-27 14:52:45 +0100 |
---|---|---|
committer | Marcello Stanisci <stanisci.m@gmail.com> | 2019-03-27 14:52:45 +0100 |
commit | e45588ddfd356a00eee7ae199412dd8850948ada (patch) | |
tree | 1b952dbb828277d6e52974eaf57821cab829579d | |
parent | 40a1d5b856710f5f8337a4e21d0968d3b93137ed (diff) | |
download | deployment-e45588ddfd356a00eee7ae199412dd8850948ada.tar.gz deployment-e45588ddfd356a00eee7ae199412dd8850948ada.tar.bz2 deployment-e45588ddfd356a00eee7ae199412dd8850948ada.zip |
--disable-doc for merchant
-rwxr-xr-x | taler-build/update_merchant.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/taler-build/update_merchant.sh b/taler-build/update_merchant.sh index 1774ca7..fe62ed4 100755 --- a/taler-build/update_merchant.sh +++ b/taler-build/update_merchant.sh @@ -22,14 +22,16 @@ if test ${1:-notgiven} = "--coverage"; then --with-microhttpd=$HOME/local \ --with-twister=$HOME/local \ --enable-logging=verbose \ - --enable-coverage + --enable-coverage \ + --disable-doc else ./configure CFLAGS='-ggdb -O0' \ --prefix=$HOME/local --with-gnunet=$HOME/local \ --with-exchange=$HOME/local \ --with-microhttpd=$HOME/local \ --with-twister=$HOME/local \ - --enable-logging=verbose + --enable-logging=verbose \ + --disable-doc fi make |