diff --git a/buildtools/scripts/Makefile.waf b/buildtools/scripts/Makefile.waf index f9c3fbb3bb2..a517bae3b59 100644 --- a/buildtools/scripts/Makefile.waf +++ b/buildtools/scripts/Makefile.waf @@ -23,8 +23,8 @@ dist: clean: $(WAF) clean -distclean: clean - rm -rf bin +distclean: + $(WAF) distclean # some compatibility make targets everything: all