diff options
| author | Marcello Stanisci <stanisci.m@gmail.com> | 2017-11-27 12:17:49 +0100 |
|---|---|---|
| committer | Marcello Stanisci <stanisci.m@gmail.com> | 2017-11-27 12:17:49 +0100 |
| commit | c1c13d4863de56c5dd9114bd59e2339e78b1574d (patch) | |
| tree | 755bb36fe34ef26c6d32c4423bd6b50bcf898ae0 /bin/taler-deployment-build | |
| parent | 41f48c26512c088a08f04d73c416336ab3b41406 (diff) | |
| download | deployment-c1c13d4863de56c5dd9114bd59e2339e78b1574d.tar.gz deployment-c1c13d4863de56c5dd9114bd59e2339e78b1574d.tar.bz2 deployment-c1c13d4863de56c5dd9114bd59e2339e78b1574d.zip | |
trying with a separate directory for build stamps
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 |