diff options
Diffstat (limited to 'lib/replace/Makefile')
| -rw-r--r-- | lib/replace/Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/lib/replace/Makefile b/lib/replace/Makefile index 5b8220c6cb..364990153e 100644 --- a/lib/replace/Makefile +++ b/lib/replace/Makefile @@ -21,10 +21,12 @@ quicktest: $(WAF) test --quick $(TEST_OPTIONS) dist: - $(WAF) dist + touch .tmplock + WAFLOCK=.tmplock $(WAF) dist distcheck: - $(WAF) distcheck + touch .tmplock + WAFLOCK=.tmplock $(WAF) distcheck clean: $(WAF) clean |