X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2FMakefile;h=6dd4610cbd0885556738bb02d6355c4e012a261e;hb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;hp=326e774ae0347fae11dd941a403fc1b80b977555;hpb=5780c9f434cca090f88463b7f0199d49b4ded288;p=pintos-anon diff --git a/src/Makefile b/src/Makefile index 326e774..6dd4610 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 + 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)