diff options
Diffstat (limited to 'bin/taler-deployment-build')
-rwxr-xr-x | bin/taler-deployment-build | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/bin/taler-deployment-build b/bin/taler-deployment-build index 08f7890..fc8d923 100755 --- a/bin/taler-deployment-build +++ b/bin/taler-deployment-build @@ -20,11 +20,14 @@ fi source $HOME/activate -cd $HOME/deployment/taler-build -./invalidate.sh +# Check changes +$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 |