Clean TAGS, tags targets.

[pintos-anon] / src / Makefile

diff --git a/src/Makefile b/src/Makefile
index c781a028d9b97b89e2bd178b7f66b5d7c219e17f..326e774ae0347fae11dd941a403fc1b80b977555 100644 (file)
--- 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 '{}' \;