summaryrefslogtreecommitdiff
path: root/bin/taler-deployment-build
diff options
context:
space:
mode:
authorMarcello Stanisci <stanisci.m@gmail.com>2019-05-20 15:11:47 +0200
committerMarcello Stanisci <stanisci.m@gmail.com>2019-05-20 15:11:47 +0200
commit1dbde6d9604dc963a5ff60caa62b0cc4877297cf (patch)
tree3537c27c035045ed29ab0258c535e88130459bba /bin/taler-deployment-build
parent57aabe0f631dc8b1e5a97c880cbd64f358c91f76 (diff)
downloaddeployment-1dbde6d9604dc963a5ff60caa62b0cc4877297cf.tar.gz
deployment-1dbde6d9604dc963a5ff60caa62b0cc4877297cf.tar.bz2
deployment-1dbde6d9604dc963a5ff60caa62b0cc4877297cf.zip
note
Diffstat (limited to 'bin/taler-deployment-build')
-rwxr-xr-xbin/taler-deployment-build2
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/taler-deployment-build b/bin/taler-deployment-build
index cff09ca..332cf1d 100755
--- a/bin/taler-deployment-build
+++ b/bin/taler-deployment-build
@@ -20,5 +20,7 @@ cd $HOME/deployment/taler-build
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