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

diff --git a/src/filesys/Makefile.vars b/src/filesys/Makefile.vars
index db29a74..5899e51 100644
--- a/src/filesys/Makefile.vars
+++ b/src/filesys/Makefile.vars
@@ -1,2 +1,6 @@
 DEFINES = -DUSERPROG -DFILESYS
-SUBDIRS = threads devices lib userprog filesys
+SUBDIRS = threads devices lib lib/kernel userprog filesys
+
+# Comment out the two lines below to disable VM.
+DEFINES += -DVM
+SUBDIRS += vm