diff options
Diffstat (limited to 'buildtools/scripts/Makefile.waf')
| -rw-r--r-- | buildtools/scripts/Makefile.waf | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/buildtools/scripts/Makefile.waf b/buildtools/scripts/Makefile.waf index 1ccbf4ca79..c07f859614 100644 --- a/buildtools/scripts/Makefile.waf +++ b/buildtools/scripts/Makefile.waf @@ -56,6 +56,10 @@ etags: ctags: $(WAF) ctags +bin/%:: FORCE + $(WAF) --targets=`basename $@` +FORCE: + configure: autogen-waf.sh BUILDTOOLS/scripts/configure.waf ./autogen-waf.sh |