X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2FMakefile;h=33e0321f01a266f4e7fee3128f0a942d9088296a;hb=a03e6f1ca6bb324d2f5bba70982e493e40faf4f5;hp=6dd4610cbd0885556738bb02d6355c4e012a261e;hpb=37deefa57e17a299779936ae6d2b74df2e517368;p=pintos-anon

diff --git a/src/Makefile b/src/Makefile
index 6dd4610..33e0321 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -22,3 +22,8 @@ TAGS::
 tags::
 	ctags -T --no-warn $(TAGS_SOURCES)
 
+cscope.files::
+	echo $(TAGS_SOURCES) > $@
+
+cscope.out:: cscope.files
+	cscope -bk