X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2FMakefile.userprog;fp=src%2FMakefile.userprog;h=447088e8e7896212d8b5ce91879a0854b43f4cd4;hb=f415a37905c57f61b444806bf84f5405184452aa;hp=870aae4b95f56bae532e8ab075c2e503d4ce4b71;hpb=fa97205f611b922b85299e79edba9a0bbbe3cfb2;p=pintos-anon

diff --git a/src/Makefile.userprog b/src/Makefile.userprog
index 870aae4..447088e 100644
--- a/src/Makefile.userprog
+++ b/src/Makefile.userprog
@@ -5,10 +5,7 @@ $(PROGS): CPPFLAGS += -I$(SRCDIR)/lib/user -I.
 # Linker flags.
 $(PROGS): LDFLAGS = -nostdlib -static -Wl,-T,$(LDSCRIPT)
 $(PROGS): LDLIBS = $(shell $(CC) -print-libgcc-file-name)
-$(PROGS): LDSCRIPT = $(SRCDIR)/lib/user/normal.lds
-# Uncomment the following line to round up section sizes
-# to full pages (for debugging only).
-#$(PROGS): LDSCRIPT = $(SRCDIR)/lib/user/fullpage.lds
+$(PROGS): LDSCRIPT = $(SRCDIR)/lib/user/user.lds
 
 # Library code shared between kernel and user programs.
 lib_SRC  = lib/debug.c			# Debug code.