commit 586e9ced5ec54988b98b3805452412b2ccf7180d
parent a6e53d156ef1a1bac303808eee486a5248def122
Author: Marcello Stanisci <marcello.stanisci@inria.fr>
Date: Mon, 19 Dec 2016 14:34:03 +0100
mint->exchange
Diffstat:
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/taler-build/update_merchant.sh b/taler-build/update_merchant.sh
@@ -18,14 +18,14 @@ git submodule update --init --force
if test ${1:-notgiven} = "--coverage"; then
./configure CFLAGS='-ggdb -O0' \
--prefix=$HOME/local --with-gnunet=$HOME/local \
- --with-mint=$HOME/local \
+ --with-exchange=$HOME/local \
--with-microhttpd=$HOME/local \
--enable-logging=verbose \
--enable-coverage
else
./configure CFLAGS='-ggdb -O0' \
--prefix=$HOME/local --with-gnunet=$HOME/local \
- --with-mint=$HOME/local \
+ --with-exchange=$HOME/local \
--with-microhttpd=$HOME/local \
--enable-logging=verbose
fi