Don't require distinguishing data and metadata for caching.
[pintos.git] / Makefile
blob2c374e72bf33b40f32c6476d6b5013a6258910db
1 CLEAN_SUBDIRS = src doc tests
3 all::
4 @echo "This makefile has only 'clean' and 'check' targets."
6 clean::
7 for d in $(CLEAN_SUBDIRS); do $(MAKE) -C $$d $@; done
9 distclean:: clean
10 find . -name '*~' -exec rm '{}' \;
12 check::
13 make -C tests $@