X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2FMakefile;h=90c36af421eaa8af9e1ba016920c02552dfcca4a;hb=e49318880e6420e9b5a4ae9ffb986b49f89798e0;hp=c47ac1297a07de2e78de38bd0112d92d19965acd;hpb=926c47b3fa1c373a671edf3378b2b2abe3750912;p=pintos-anon

diff --git a/src/Makefile b/src/Makefile
index c47ac12..90c36af 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -5,8 +5,14 @@ all::
 	@echo "This top-level make has only 'clean' targets."
 
 clean::
-	for d in $(SUBDIRS); do $(MAKE) -C $$d $@; done
+	for d in $(SUBDIRS) tests; do $(MAKE) -C $$d $@; done
 
-distclean::
-	$(MAKE) clean
+distclean:: clean
 	find . -name '*~' -exec rm '{}' \;
+
+TAGS::
+	etags --members *.[chS] `find $(SUBDIRS) -name \*.[chS]`
+
+tags::
+	ctags -T *.[chS] `find . -name \*.[chS]`
+