X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2FMakefile;fp=src%2FMakefile;h=c781a028d9b97b89e2bd178b7f66b5d7c219e17f;hb=742df3e60c19b87c5c46fae0403d36622bace203;hp=90c36af421eaa8af9e1ba016920c02552dfcca4a;hpb=4fa88ad3aaf1a03e4cce8afe47c9215fa788878d;p=pintos-anon

diff --git a/src/Makefile b/src/Makefile
index 90c36af..c781a02 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -10,9 +10,11 @@ clean::
 distclean:: clean
 	find . -name '*~' -exec rm '{}' \;
 
+TAGS_SOURCES = `find \( -name tests -o -name build \) -prune -o -name \*.[chS] -print`
+
 TAGS::
-	etags --members *.[chS] `find $(SUBDIRS) -name \*.[chS]`
+	etags --members $(TAGS_SOURCES)
 
 tags::
-	ctags -T *.[chS] `find . -name \*.[chS]`
+	ctags -T --no-warn $(TAGS_SOURCES)