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 SIMULATOR = --qemu
   8
   9 # Uncomment the lines below to enable VM.
  10 #os.dsk: DEFINES += -DVM
  11 #KERNEL_SUBDIRS += vm
  12 #TEST_SUBDIRS += tests/vm
  13 #GRADING_FILE = $(SRCDIR)/tests/filesys/Grading.with-vm