X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2FMakefile;h=ee58cc33149c6ce8e6d513feb63c5c9feff20b56;hb=8c839323e2f1c3f6243cdc49ceffed7483368447;hp=326e774ae0347fae11dd941a403fc1b80b977555;hpb=78ee2ff83ef8787d0cfd74dafaca125c523ea0d0;p=pintos-anon diff --git a/src/Makefile b/src/Makefile index 326e774..ee58cc3 100644 --- a/src/Makefile +++ b/src/Makefile @@ -1,17 +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)