commit 1dbde6d9604dc963a5ff60caa62b0cc4877297cf parent 57aabe0f631dc8b1e5a97c880cbd64f358c91f76 Author: Marcello Stanisci <stanisci.m@gmail.com> Date: Mon, 20 May 2019 15:11:47 +0200 note Diffstat:
| M | bin/taler-deployment-build | | | 2 | ++ |
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git 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