diff options
| -rw-r--r-- | buildtools/scripts/Makefile.waf | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/buildtools/scripts/Makefile.waf b/buildtools/scripts/Makefile.waf index 045d2410e2..8de7f217bd 100644 --- a/buildtools/scripts/Makefile.waf +++ b/buildtools/scripts/Makefile.waf @@ -12,13 +12,13 @@ uninstall: $(WAF) uninstall test: - $(WAF) test + $(WAF) test $(TEST_OPTIONS) testenv: - $(WAF) test --testenv + $(WAF) test --testenv $(TEST_OPTIONS) quicktest: - $(WAF) test --quick + $(WAF) test --quick $(TEST_OPTIONS) dist: $(WAF) dist |