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

   1 # -*- makefile -*-
   2
   3 os.dsk: DEFINES = -DUSERPROG -DFILESYS
   4 KERNEL_SUBDIRS = threads devices lib lib/kernel userprog filesys
   5 TEST_SUBDIRS = tests/userprog tests/filesys/base tests/filesys/extended
   6 GRADING_FILE = $(SRCDIR)/tests/filesys/Grading.no-vm
   7
   8 # Uncomment the lines below to enable VM.
   9 #os.dsk: DEFINES += -DVM
  10 #KERNEL_SUBDIRS += vm
  11 #TEST_SUBDIRS += tests/vm
  12 #GRADING_FILE = $(SRCDIR)/tests/filesys/Grading.with-vm