diff options
| -rw-r--r-- | buildtools/scripts/Makefile.waf | 6 | 
1 files changed, 2 insertions, 4 deletions
diff --git a/buildtools/scripts/Makefile.waf b/buildtools/scripts/Makefile.waf index a517bae3b5..e40b6352c8 100644 --- a/buildtools/scripts/Makefile.waf +++ b/buildtools/scripts/Makefile.waf @@ -45,9 +45,7 @@ ctags:  	$(WAF) ctags  configure: autogen-waf.sh BUILDTOOLS/scripts/configure.waf -	@echo "please run ./autogen-waf.sh to regenerate $@" -	@-false +	./autogen-waf.sh  Makefile: autogen-waf.sh configure BUILDTOOLS/scripts/Makefile.waf -	@echo "please run ./autogen-waf.sh to regenerate $@" -	@false +	./autogen-waf.sh  | 
