summaryrefslogtreecommitdiffstats
path: root/pintos-progos/filesys/Make.vars
diff options
context:
space:
mode:
Diffstat (limited to 'pintos-progos/filesys/Make.vars')
-rw-r--r--pintos-progos/filesys/Make.vars13
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
3kernel.bin: DEFINES = -DUSERPROG -DFILESYS
4KERNEL_SUBDIRS = threads devices lib lib/kernel userprog filesys
5TEST_SUBDIRS = tests/userprog tests/filesys/base tests/filesys/extended
6GRADING_FILE = $(SRCDIR)/tests/filesys/Grading.no-vm
7SIMULATOR = --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