X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2FMakefile;fp=src%2FMakefile;h=326e774ae0347fae11dd941a403fc1b80b977555;hb=78ee2ff83ef8787d0cfd74dafaca125c523ea0d0;hp=c781a028d9b97b89e2bd178b7f66b5d7c219e17f;hpb=e16045ed45f5a008f6fb2e32dd5f60a0ada347c3;p=pintos-anon

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