summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--buildtools/scripts/Makefile.waf3
1 files changed, 3 insertions, 0 deletions
diff --git a/buildtools/scripts/Makefile.waf b/buildtools/scripts/Makefile.waf
index 8de7f217bd..1ccbf4ca79 100644
--- a/buildtools/scripts/Makefile.waf
+++ b/buildtools/scripts/Makefile.waf
@@ -35,6 +35,9 @@ distclean:
reconfigure: configure
$(WAF) reconfigure
+show_waf_options:
+ $(WAF) --help
+
# some compatibility make targets
everything: all