commit fd9649f0279787324182aebf51b1d5125f99bd8a
parent 824e7ec4eab097d73a79eaabb5195324e80a7850
Author: Marcello Stanisci <stanisci.m@gmail.com>
Date: Sat, 17 Mar 2018 02:21:05 +0100
usgin --with-twister option.
Diffstat:
2 files changed, 4 insertions(+), 0 deletions(-)
diff --git a/taler-build/update_exchange.sh b/taler-build/update_exchange.sh
@@ -15,6 +15,7 @@ if test ${1:-notgiven} = "--coverage"; then
./configure CFLAGS='-ggdb -O0' \
--with-libgnurl=$HOME/local \
--with-microhttpd=$HOME/local \
+ --with-twister=$HOME/local \
--prefix=$HOME/local --with-gnunet=$HOME/local \
--enable-logging=verbose \
--enable-coverage
@@ -22,6 +23,7 @@ else
./configure CFLAGS='-ggdb -O0' \
--with-libgnurl=$HOME/local \
--with-microhttpd=$HOME/local \
+ --with-twister=$HOME/local \
--prefix=$HOME/local --with-gnunet=$HOME/local \
--enable-logging=verbose
fi
diff --git a/taler-build/update_merchant.sh b/taler-build/update_merchant.sh
@@ -20,6 +20,7 @@ if test ${1:-notgiven} = "--coverage"; then
--prefix=$HOME/local --with-gnunet=$HOME/local \
--with-exchange=$HOME/local \
--with-microhttpd=$HOME/local \
+ --with-twister=$HOME/local \
--enable-logging=verbose \
--enable-coverage
else
@@ -27,6 +28,7 @@ if test ${1:-notgiven} = "--coverage"; then
--prefix=$HOME/local --with-gnunet=$HOME/local \
--with-exchange=$HOME/local \
--with-microhttpd=$HOME/local \
+ --with-twister=$HOME/local \
--enable-logging=verbose
fi