From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 21 Sep 2004 18:52:08 +0000 (+0000)
Subject: Comment out fullpage line.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4444ee618ec4993d06e3da3437c363c2ce81689f;p=pintos-anon

Comment out fullpage line.
---

diff --git a/src/tests/userprog/Makefile b/src/tests/userprog/Makefile
index c5e4855..3b35616 100644
--- 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 = ../..