diff --git a/Makefile b/Makefile index 0f6093917a..e510976c25 100644 --- a/Makefile +++ b/Makefile @@ -47,9 +47,9 @@ clean: @-rm doc/node.1 doc/api.xml doc/api.html @tools/waf-light clean -distclean: +distclean: clean @-rm -rf build/ - @-find tools | egrep --colour=never ".pyc$" | xargs rm + @-find tools/ -name "*.pyc" -delete check: @tools/waf-light check