diff options
| -rw-r--r-- | buildtools/scripts/Makefile.waf | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/buildtools/scripts/Makefile.waf b/buildtools/scripts/Makefile.waf index c07f859614..716ab93270 100644 --- a/buildtools/scripts/Makefile.waf +++ b/buildtools/scripts/Makefile.waf @@ -1,6 +1,7 @@ # simple makefile wrapper to run waf -WAF=WAF_MAKE=1 BUILDTOOLS/bin/waf +WAF_BINARY=BUILDTOOLS/bin/waf +WAF=WAF_MAKE=1 $(WAF_BINARY) all: $(WAF) build @@ -14,6 +15,10 @@ uninstall: test: $(WAF) test $(TEST_OPTIONS) +help: + @echo NOTE: to run extended waf options use $(WAF_BINARY) or modify your PATH + $(WAF) --help + testenv: $(WAF) test --testenv $(TEST_OPTIONS) |