Rename printk() to printf().

[pintos-anon] / src / userprog / Makefile.vars

diff --git a/src/userprog/Makefile.vars b/src/userprog/Makefile.vars
index db29a74279f0581e8d3a1bd215881c1bc85fe2e0..03e8f0803fcd2e82322fba74118919c9174871d0 100644 (file)
--- a/src/userprog/Makefile.vars
+++ b/src/userprog/Makefile.vars
@@ -1,2 +1,2 @@
 DEFINES = -DUSERPROG -DFILESYS
-SUBDIRS = threads devices lib userprog filesys
+SUBDIRS = threads devices lib lib/kernel userprog filesys