X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2FMakefile;h=c781a028d9b97b89e2bd178b7f66b5d7c219e17f;hb=dc17c571d79b596194b88c50d5113e4a1b2f2238;hp=90c36af421eaa8af9e1ba016920c02552dfcca4a;hpb=04c55108f55f8a6f4a31a5085151bb729635ff8e;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)