diff options
| -rwxr-xr-x | bin/taler-deployment-build | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/bin/taler-deployment-build b/bin/taler-deployment-build deleted file mode 100755 index ef22492..0000000 --- a/bin/taler-deployment-build +++ /dev/null @@ -1,28 +0,0 @@ -#!/bin/bash - -# Invocation -# $ taler-deployment-build [--coverage] - -set -eu - -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/stamps -./invalidate.sh - -export GNUNET_FORCE_LOG="util;;;;WARNING/taler;;;;DEBUG/twister;;;;DEBUG/test;;;;DEBUG" - -if test ${1:-notgiven} = "--coverage"; then - make lcov -else - # NOTE: when deployment.git changes, the 'make' command - # below will start on the OLD Makefile anyway! - make -fi |