From: Ben Pfaff Date: Thu, 9 Sep 2004 20:55:11 +0000 (+0000) Subject: Allow students to easily disable VM. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c41e28475e8da965e807bbe3ca96feba10fafc2d;p=pintos-anon Allow students to easily disable VM. --- diff --git a/src/filesys/Makefile.vars b/src/filesys/Makefile.vars index 03e8f08..5899e51 100644 --- a/src/filesys/Makefile.vars +++ b/src/filesys/Makefile.vars @@ -1,2 +1,6 @@ DEFINES = -DUSERPROG -DFILESYS SUBDIRS = threads devices lib lib/kernel userprog filesys + +# Comment out the two lines below to disable VM. +DEFINES += -DVM +SUBDIRS += vm