#!/bin/bash # Run as: # $ ./update_merchant.sh [--coverage] set -eu cd $HOME/merchant/ git clean -fdx # like "git pull", but robust against force pushes # and local changes git fetch git reset --hard FETCH_HEAD git submodule update --init --force ./bootstrap if test ${1:-notgiven} = "--coverage"; then ./configure CFLAGS='-ggdb -O0' \ --prefix=$HOME/local --with-gnunet=$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-exchange=$HOME/local \ --with-microhttpd=$HOME/local \ --enable-logging=verbose fi make make install if test ${1:-notgiven} = "--coverage"; then TOP=$(pwd) mkdir -p doc/coverage/ lcov -d $TOP -z TALER_MERCHANTDB_POSTGRES_CONFIG=$TALER_CHECKDB \ TALER_EXCHANGEDB_POSTGRES_CONFIG=$TALER_CHECKDB \ TALER_AUDITORDB_POSTGRES_CONFIG=$TALER_CHECKDB \ make check || exit 1 lcov -d $TOP -c --no-external -o doc/coverage/coverage.info lcov -r doc/coverage/coverage.info **/test_* -o doc/coverage/rcoverage.info genhtml -o doc/coverage doc/coverage/rcoverage.info else TALER_MERCHANTDB_POSTGRES_CONFIG=$TALER_CHECKDB \ TALER_EXCHANGEDB_POSTGRES_CONFIG=$TALER_CHECKDB \ TALER_AUDITORDB_POSTGRES_CONFIG=$TALER_CHECKDB \ make check fi