#!/bin/bash

# Invocation
# $ taler-deployment-build [--coverage]

set -eu

cd $HOME/deployment

# like "git pull", but discard local changes
git fetch
git reset --hard FETCH_HEAD

if ! test $HOME/activate; then
  echo "$HOME/activate not found.  Although the compilation
       is not affected, testcases will fail because the database
       cannot be launched"
  exit
fi

source $HOME/activate

cd $HOME/deployment/taler-build
./invalidate.sh

if test ${1:-notgiven} = "--coverage"; then
  make lcov
else
  make
fi