Do console locking.

[pintos-anon] / src / Makefile.build

diff --git a/src/Makefile.build b/src/Makefile.build
index e77230089f0eaa4a605da627b3971c8c1445c864..0293a0f5e868f35ab65f7ef8dd40166cb2864e2d 100644 (file)
--- a/src/Makefile.build
+++ b/src/Makefile.build
@@ -46,7 +46,7 @@ lib_SRC += lib/string.c               # String functions.
 lib_kernel_SRC += lib/kernel/list.c    # Doubly-linked lists.
 lib_kernel_SRC += lib/kernel/bitmap.c  # Bitmaps.
 lib_kernel_SRC += lib/kernel/hash.c    # Hash tables.
-lib_kernel_SRC += lib/kernel/printf.c  # Kernel printf().
+lib_kernel_SRC += lib/kernel/console.c # printf(), putchar().
 
 # Filesystem code.
 filesys_SRC  = filesys/filesys.c       # Filesystem core.