X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2FMakefile;h=ee58cc33149c6ce8e6d513feb63c5c9feff20b56;hb=48fe0532fd45f71d867b1550190689ab1196def4;hp=c781a028d9b97b89e2bd178b7f66b5d7c219e17f;hpb=c54f45a05ab22478c6314898ad500bc8767cab09;p=pintos-anon diff --git a/src/Makefile b/src/Makefile index c781a02..ee58cc3 100644 --- a/src/Makefile +++ b/src/Makefile @@ -1,16 +1,20 @@ -SUBDIRS = threads userprog vm filesys +BUILD_SUBDIRS = threads userprog vm filesys all:: - @echo "Run 'make' in subdirectories $(SUBDIRS)." + @echo "Run 'make' in subdirectories: $(BUILD_SUBDIRS)." @echo "This top-level make has only 'clean' targets." +CLEAN_SUBDIRS = $(BUILD_SUBDIRS) examples utils + clean:: - for d in $(SUBDIRS) tests; do $(MAKE) -C $$d $@; done + for d in $(CLEAN_SUBDIRS); do $(MAKE) -C $$d $@; done + rm -f TAGS tags distclean:: clean find . -name '*~' -exec rm '{}' \; -TAGS_SOURCES = `find \( -name tests -o -name build \) -prune -o -name \*.[chS] -print` +TAGS_SUBDIRS = $(BUILD_SUBDIRS) devices lib +TAGS_SOURCES = `find $(TAGS_SUBDIRS) -name \*.[chS] -print` TAGS:: etags --members $(TAGS_SOURCES)