Fix 'make distclean'

2024-12-01 16:10:02 +01:00 · 2009-10-07 12:43:21 +02:00 · 2009-10-07 12:43:21 +02:00 · e982349b16
commit e982349b16
parent 1f31a7dbfe
1 changed files with 2 additions and 2 deletions
--- a/4
+++ b/4
@ -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