pintos-os.org Git - pintos-anon/blob - src/threads/Make.vars

   1 # -*- makefile -*-
   2
   3 os.dsk: DEFINES =
   4 KERNEL_SUBDIRS = threads devices lib lib/kernel $(TEST_SUBDIRS)
   5 TEST_SUBDIRS = tests/threads
   6 GRADING_FILE = $(SRCDIR)/tests/threads/Grading