Comment out fullpage line.

[pintos-anon] / src / tests / userprog / Makefile

diff --git a/src/tests/userprog/Makefile b/src/tests/userprog/Makefile
index c5e4855268431e6b01023c6af6b0cdbeca5f32bc..3b35616d6bae0eded022f8dfb347ae144477cb06 100644 (file)
--- a/src/tests/userprog/Makefile
+++ b/src/tests/userprog/Makefile
@@ -7,7 +7,7 @@ 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
+#LDFLAGS += -Wl,-T,fullpage.x
 
 VPATH = ../..