X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2FMakefile.build;h=0293a0f5e868f35ab65f7ef8dd40166cb2864e2d;hb=b042250507edf37e2d610aa202008e715aa0db8e;hp=e77230089f0eaa4a605da627b3971c8c1445c864;hpb=e45f3adbd21cd675c38b1d29394ec60b9cec2e33;p=pintos-anon

diff --git a/src/Makefile.build b/src/Makefile.build
index e772300..0293a0f 100644
--- 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.