Index: Makefile
===================================================================
--- Makefile	(revision 656437a0d8513459f1bc36bb837969801023cf4c)
+++ Makefile	(revision 218e50c7a52d90a76c3bc3e3a344733f5eeccfa0)
@@ -30,5 +30,5 @@
 #
 
-CSCOPE = cscope.out
+CSCOPE = cscope
 STANSE = stanse
 
@@ -46,5 +46,5 @@
 
 cscope:
-	find kernel boot uspace -regex '^.*\.[chsS]$$' | xargs cscope -b -k -u -f$(CSCOPE)
+	find kernel boot uspace -regex '^.*\.[chsS]$$' | xargs $(CSCOPE) -b -k -u -f$(CSCOPE).out
 
 Makefile.config: config_default
@@ -61,5 +61,5 @@
 
 distclean: clean
-	rm -f $(CSCOPE) Makefile.config config.h config.defs tools/*.pyc
+	rm -f $(CSCOPE).out Makefile.config config.h config.defs tools/*.pyc
 
 clean: