commit df6e3015a410277b3477f60fa7c1721e55123934
parent c9247ab11819397e552bd70873d53a30aa7cba23
Author: Florian Dold <florian.dold@gmail.com>
Date: Wed, 2 Mar 2016 01:20:35 +0100
git clean instead of make clean
Diffstat:
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/update_exchange.sh b/update_exchange.sh
@@ -7,7 +7,7 @@ build_exchange() {
set -eu
cd $HOME/exchange
- make clean || true
+ git clean -fd
./bootstrap
./configure CFLAGS='-ggdb -O0' \
--with-libgnurl=$HOME/local \
diff --git a/update_merchant.sh b/update_merchant.sh
@@ -7,7 +7,7 @@ build_merchant() {
set -eu
cd $HOME/merchant
- make clean || true
+ git clean -fd
./bootstrap
./configure CFLAGS='-ggdb -O0' \
--prefix=$HOME/local --with-gnunet=$HOME/local \