From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 21 Sep 2004 05:33:01 +0000 (+0000)
Subject: Improve tags targets.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=742df3e60c19b87c5c46fae0403d36622bace203;p=pintos-anon

Improve tags targets.
---

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)