diff options
Diffstat (limited to 'source4')
-rw-r--r-- | source4/Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/source4/Makefile b/source4/Makefile index 77b3189a3b..bc77be965c 100644 --- a/source4/Makefile +++ b/source4/Makefile @@ -29,10 +29,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 |