taler-deployment

commit e45588ddfd356a00eee7ae199412dd8850948ada
parent 40a1d5b856710f5f8337a4e21d0968d3b93137ed
Author: Marcello Stanisci <stanisci.m@gmail.com>
Date:   Wed, 27 Mar 2019 14:52:45 +0100

--disable-doc for merchant

Diffstat:
M
taler-build/update_merchant.sh
 | 
6
++++--

1 file changed, 4 insertions(+), 2 deletions(-)
diff --git 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