Index: Makefile
===================================================================
--- Makefile	(revision edebc15c65ded52ed661523a687334ecc04a7578)
+++ Makefile	(revision 0516fd716e8b774cf526e74c1239ba42ea1dcde0)
@@ -135,5 +135,5 @@
 	-$(MAKE) -C uspace distclean
 	-$(MAKE) -C boot distclean
-	-rm Makefile.config
+	rm -f Makefile.config tools/*.pyc
 
 clean:
@@ -143,5 +143,5 @@
 
 cscope:
-	-rm cscope.out
-	-find kernel boot uspace -regex '^.*\.[chsS]$$' -print >srclist
-	-cscope -bi srclist
+	find kernel boot uspace -regex '^.*\.[chsS]$$' -print > srclist
+	rm -f cscope.out
+	cscope -bi srclist