diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-06-17 13:57:23 +0200 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-06-17 13:57:23 +0200 |
commit | 687ff4ba59628f752530de8a8226838acceff8f8 (patch) | |
tree | 88dad7da7607fa220734edb259eb2efed43afe04 | |
parent | b8bdcc78122ed39846fda788119d879ff6b9b0ae (diff) | |
download | deployment-687ff4ba59628f752530de8a8226838acceff8f8.tar.gz deployment-687ff4ba59628f752530de8a8226838acceff8f8.tar.bz2 deployment-687ff4ba59628f752530de8a8226838acceff8f8.zip |
bash syntax fix
-rwxr-xr-x | taler-build/coverage.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/taler-build/coverage.sh b/taler-build/coverage.sh index d1f8c6a..33bca81 100755 --- a/taler-build/coverage.sh +++ b/taler-build/coverage.sh @@ -4,7 +4,7 @@ export CFLAGS="-g -O0" export PATH=$HOME/local/bin:$PATH CONFIGURE="./configure --prefix=$HOME/local --with-gnunet=$HOME/local --with-microhttpd=$HOME/local --enable-coverage" -for comp in exchange merchant do +for comp in exchange merchant; do cd $HOME/$comp git pull ./bootstrap |