pintos-os.org Git - pintos-anon/blob - src/Makefile

   1 all::
   2         @echo "Run 'make' in the threads, userprog, filesys, or vm directory."
   3         @echo "This top-level make has only 'clean' targets."
   4
   5 clean::
   6         for d in threads; do $(MAKE) -C $$d $@; done
   7
   8 distclean::
   9         $(MAKE) clean
  10         find . -name '*~' -exec rm '{}' \;