X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2FMakefile.inc;h=bab467aca9339fac0d0976e18c2af7b153be782c;hb=dfb64e1c2e16f8e5183de565bd4819d875379cee;hp=982b5e800f5e5b63f9ddb5f0a7772beb80ab626c;hpb=b413e78bacc4a0331191e581cd060281ba47c54a;p=pintos-anon

diff --git a/src/Makefile.inc b/src/Makefile.inc
index 982b5e8..bab467a 100644
--- a/src/Makefile.inc
+++ b/src/Makefile.inc
@@ -15,8 +15,7 @@ CFLAGS = -g -O3 -MMD -msoft-float $(WARNINGS) $(INCLUDES) $(DEFINES)
 ASFLAGS = -Wa,--gstabs+ $(INCLUDES) $(DEFINES)
 
 # Core kernel.
-THREADS_SRC  = start.S		# Must be linked first.
-THREADS_SRC += init.c		# Main program.
+THREADS_SRC  = init.c		# Main program.
 THREADS_SRC += thread.c		# Thread management core.
 THREADS_SRC += switch.S		# Thread switch routine.
 THREADS_SRC += interrupt.c	# Interrupt core.
@@ -25,6 +24,7 @@ THREADS_SRC += synch.c		# Synchronization.
 THREADS_SRC += paging.c		# Page tables.
 THREADS_SRC += palloc.c		# Page allocator.
 THREADS_SRC += malloc.c		# Subpage allocator.
+THREADS_SRC += start.S		# Startup code.
 
 # Device driver code.
 DEVICES_SRC  = timer.c		# Timer device.