X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2FMakefile;h=c5e4855268431e6b01023c6af6b0cdbeca5f32bc;hb=2421dc2079675af565e7bf81052bd652c90c1623;hp=662938664d079be36d339958acde8ece5f914acf;hpb=f459d6b791bc527aa791960d09f4f4a4add40ec5;p=pintos-anon

diff --git a/src/tests/userprog/Makefile b/src/tests/userprog/Makefile
index 6629386..c5e4855 100644
--- a/src/tests/userprog/Makefile
+++ b/src/tests/userprog/Makefile
@@ -2,9 +2,13 @@ include ../../Make.config
 
 SHELL = /bin/sh
 
-LDFLAGS = -nostdlib -static -Wl,-T,elf.x
+LDFLAGS = -nostdlib -static
 LDLIBS = $(shell $(CC) -print-libgcc-file-name)
 
+# Uncomment the line below to round up segment sizes to full pages for
+# testing purposes only.
+LDFLAGS += -Wl,-T,fullpage.x
+
 VPATH = ../..
 
 DEFINES = -DUSER