From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 13 Apr 2005 05:20:30 +0000 (+0000)
Subject: Clean TAGS, tags targets.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0d236712a47bdeee4b33548d91c62814eed3d25a;p=pintos-anon

Clean TAGS, tags targets.
---

diff --git a/src/Makefile b/src/Makefile
index c781a02..326e774 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -6,6 +6,7 @@ all::
 
 clean::
 	for d in $(SUBDIRS) tests; do $(MAKE) -C $$d $@; done
+	rm -f TAGS tags
 
 distclean:: clean
 	find . -name '*~' -exec rm '{}' \;