From: Ben Pfaff 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=89da28fa6e3a81d10537a1463d7775ab2b35c1e3;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.