From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 12 Apr 2005 06:27:56 +0000 (+0000)
Subject: Align comments.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e16045ed45f5a008f6fb2e32dd5f60a0ada347c3;p=pintos-anon

Align comments.
---

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.