X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2FMakefile.build;fp=src%2FMakefile.build;h=df3877705db29ff9deb09bf13f2e8c1d11d18abe;hb=e16045ed45f5a008f6fb2e32dd5f60a0ada347c3;hp=d4c6d659d0afc5af2da03dbe67751d10beff0324;hpb=4b314d314330e1335f0c072373079f01e728476b;p=pintos-anon

diff --git a/src/Makefile.build b/src/Makefile.build
index d4c6d65..df38777 100644
--- a/src/Makefile.build
+++ b/src/Makefile.build
@@ -31,11 +31,11 @@ devices_SRC += devices/disk.c		# IDE disk device.
 devices_SRC += devices/intq.c		# Interrupt queue.
 
 # Library code shared between kernel and user programs.
-lib_SRC  = lib/debug.c		# Debug helpers.
-lib_SRC += lib/random.c		# Pseudo-random numbers.
-lib_SRC += lib/stdio.c		# I/O library.
-lib_SRC += lib/stdlib.c		# Utility functions.
-lib_SRC += lib/string.c		# String functions.
+lib_SRC  = lib/debug.c			# Debug helpers.
+lib_SRC += lib/random.c			# Pseudo-random numbers.
+lib_SRC += lib/stdio.c			# I/O library.
+lib_SRC += lib/stdlib.c			# Utility functions.
+lib_SRC += lib/string.c			# String functions.
 
 # Kernel-specific library code.
 lib_kernel_SRC += lib/kernel/list.c	# Doubly-linked lists.