projects / pintos-anon / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Suggest 17.14 instead of 21.10 because the extra precision may be
[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
Pintos public repository