diff options
| -rw-r--r-- | source4/Makefile.waf | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/source4/Makefile.waf b/source4/Makefile.waf index d3042b0522..8d5e7455ed 100644 --- a/source4/Makefile.waf +++ b/source4/Makefile.waf @@ -1,5 +1,11 @@ -# very crude Makefile to run waf -WAF=WAFCACHE=$(HOME)/.wafcache ../buildtools/waf +# simple makefile wrapper to run waf + +# don't enable WAFCACHE by default yet, as it doesn't +# have any way to limit its size. This could cause +# problems in the build farm +# WAF=WAFCACHE=$(HOME)/.wafcache ../buildtools/waf + +WAF=../buildtools/waf all: $(WAF) build |