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

   1 all::
   2         $(MAKE) -C userprog
   3
   4 clean::
   5         $(MAKE) -C userprog clean
   6
   7 distclean:: clean
   8         find . -name '*~' -exec rm '{}' \;