diff options
Diffstat (limited to 'bin/taler-deployment-build')
| -rwxr-xr-x | bin/taler-deployment-build | 2 |
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 |