diff options
Diffstat (limited to 'buildtools')
| -rw-r--r-- | buildtools/scripts/Makefile.waf | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/buildtools/scripts/Makefile.waf b/buildtools/scripts/Makefile.waf index 78cd0e1e73..a1c4b69525 100644 --- a/buildtools/scripts/Makefile.waf +++ b/buildtools/scripts/Makefile.waf @@ -49,3 +49,10 @@ etags: ctags: $(WAF) ctags +configure: autogen-waf.sh BUILDTOOLS/scripts/configure.waf + @echo "please run ./autogen-waf.sh to regenerate $@" + @-false + +Makefile: autogen-waf.sh configure BUILDTOOLS/scripts/Makefile.waf + @echo "please run ./autogen-waf.sh to regenerate $@" + @false |