diff options
| -rw-r--r-- | buildtools/scripts/Makefile.waf | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/buildtools/scripts/Makefile.waf b/buildtools/scripts/Makefile.waf index f9c3fbb3bb..a517bae3b5 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 |