Index: Makefile
===================================================================
--- Makefile	(revision 50fda246446cc7b9ea6f17465aa5d2853fd2aa0b)
+++ Makefile	(revision 64af8f153041aa124c6aa088e6185fbea0e82a83)
@@ -59,5 +59,5 @@
 
 distclean: clean
-	rm -f $(CSCOPE).out Makefile.config config.h config.defs tools/*.pyc
+	rm -f $(CSCOPE).out Makefile.config config.h config.defs tools/*.pyc tools/checkers/*.pyc
 
 clean: