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

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