diff options
Diffstat (limited to 'pintos-progos/userprog/Make.vars')
| -rw-r--r-- | pintos-progos/userprog/Make.vars | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/pintos-progos/userprog/Make.vars b/pintos-progos/userprog/Make.vars deleted file mode 100644 index e4dbb08..0000000 --- a/pintos-progos/userprog/Make.vars +++ /dev/null | |||
| @@ -1,7 +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/userprog/no-vm tests/filesys/base | ||
| 6 | GRADING_FILE = $(SRCDIR)/tests/userprog/Grading | ||
| 7 | SIMULATOR = --qemu | ||
