diff options
| -rw-r--r-- | buildtools/scripts/Makefile.waf | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/buildtools/scripts/Makefile.waf b/buildtools/scripts/Makefile.waf index 8de7f217bdb..1ccbf4ca793 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 |