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?p=pintos-anon;a=commitdiff_plain;h=78ee2ff83ef8787d0cfd74dafaca125c523ea0d0

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 '{}' \;