diff options
Diffstat (limited to 'pintos-progos/filesys/Make.vars')
| -rw-r--r-- | pintos-progos/filesys/Make.vars | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/pintos-progos/filesys/Make.vars b/pintos-progos/filesys/Make.vars deleted file mode 100644 index b3aa005..0000000 --- a/pintos-progos/filesys/Make.vars +++ /dev/null | |||
| @@ -1,13 +0,0 @@ | |||
| 1 | # -*- makefile -*- | ||
| 2 | |||
| 3 | kernel.bin: 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 | #kernel.bin: DEFINES += -DVM | ||
| 11 | #KERNEL_SUBDIRS += vm | ||
| 12 | #TEST_SUBDIRS += tests/vm | ||
| 13 | #GRADING_FILE = $(SRCDIR)/tests/filesys/Grading.with-vm | ||
