diff options
author | Florian Dold <florian.dold@gmail.com> | 2016-04-26 18:00:38 +0200 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2016-04-26 18:13:06 +0200 |
commit | e3213c24b421dd90f32b2c358ecadf7166257d6a (patch) | |
tree | dfebd573cc5f155eca053d922e753fd3c9e63728 /taler-build/update_exchange.sh | |
parent | 9b863d542e105abcca4d823698280f3726cc26a8 (diff) | |
download | deployment-e3213c24b421dd90f32b2c358ecadf7166257d6a.tar.gz deployment-e3213c24b421dd90f32b2c358ecadf7166257d6a.tar.bz2 deployment-e3213c24b421dd90f32b2c358ecadf7166257d6a.zip |
go back to HOME based configs again
Diffstat (limited to 'taler-build/update_exchange.sh')
-rwxr-xr-x | taler-build/update_exchange.sh | 16 |
1 files changed, 7 insertions, 9 deletions
diff --git a/taler-build/update_exchange.sh b/taler-build/update_exchange.sh index 9d3fed3..1e96119 100755 --- a/taler-build/update_exchange.sh +++ b/taler-build/update_exchange.sh @@ -1,27 +1,25 @@ #!/bin/bash -base=${TALER_DEPLOYMENT_BASE:-$HOME} -export PATH="$base/deployment":$PATH +export PATH="$HOME/deployment":$PATH build_exchange() { ( set -eu - base=${TALER_DEPLOYMENT_BASE:-$HOME} - cd $base/exchange + cd $HOME/exchange git clean -fdx ./bootstrap ./configure CFLAGS='-ggdb -O0' \ - --with-libgnurl=$base/local \ - --with-microhttpd=$base/local \ - --prefix=$base/local --with-gnunet=$base/local \ + --with-libgnurl=$HOME/local \ + --with-microhttpd=$HOME/local \ + --prefix=$HOME/local --with-gnunet=$HOME/local \ --enable-logging=verbose make make install ) } -cd $base/exchange && \ +cd $HOME/exchange && \ git pull && \ - cd $base/deployment && \ + cd $HOME/deployment && \ build_exchange |