From: Ben Pfaff 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=69d06ae1316af69920944ecd4cf8fcecd81a5378;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 = ../..