Basic Eraser support.

[pintos-anon] / src / Makefile

diff --git a/src/Makefile b/src/Makefile
index 6dd4610cbd0885556738bb02d6355c4e012a261e..33e0321f01a266f4e7fee3128f0a942d9088296a 100644 (file)
--- 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