Add section heading for Debugging User Programs.
[pintos-anon] / Makefile
1 CLEAN_SUBDIRS = src doc tests
2
3 all::
4         @echo "This makefile has only 'clean' and 'check' targets."
5
6 clean::
7         for d in $(CLEAN_SUBDIRS); do $(MAKE) -C $$d $@; done
8
9 distclean:: clean
10         find . -name '*~' -exec rm '{}' \;
11
12 check::
13         make -C tests $@