added IGNORE_USER_FAULTS clause to match specification
[pintos-anon] / src / userprog / 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/userprog/no-vm tests/filesys/base
6 GRADING_FILE = $(SRCDIR)/tests/userprog/Grading
7 SIMULATOR = --qemu