X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ffilesys%2FMakefile.vars;h=5899e51100fe5324fb924199c215f3e3a14f4e9c;hb=bbca49d728013a8d7848d75c7e4bc25b67b60d89;hp=03e8f0803fcd2e82322fba74118919c9174871d0;hpb=f2f8875638593bd5365cfd6a5ba7c9578e52322f;p=pintos-anon

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