Rename printk() to printf().

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

diff --git a/src/threads/Makefile.vars b/src/threads/Makefile.vars
index 1ec24db81deb7b3ba0f28ae331673577ed8b91e0..55ef2b2f6d366d4d7dab80cf1792bac9e912b547 100644 (file)
--- a/src/threads/Makefile.vars
+++ b/src/threads/Makefile.vars
@@ -1,2 +1,2 @@
 DEFINES = 
-SUBDIRS = threads devices lib
+SUBDIRS = threads devices lib lib/kernel