diff options
Diffstat (limited to 'bin/taler-deployment-build')
-rwxr-xr-x | bin/taler-deployment-build | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/bin/taler-deployment-build b/bin/taler-deployment-build index fc8d923..08f7890 100755 --- a/bin/taler-deployment-build +++ b/bin/taler-deployment-build @@ -20,14 +20,11 @@ fi source $HOME/activate -# Check changes -$HOME/deployment/taler-build/invalidate.sh +cd $HOME/deployment/taler-build +./invalidate.sh -# Build -MAKE="make -f $HOME/deployment/taler-build/Makefile" -cd $HOME/build_stamps if test ${1:-notgiven} = "--coverage"; then - $MAKE lcov + make lcov else - $MAKE + make fi |