--enable-4meg-pages not needed after all

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

diff --git a/src/tests/userprog/Makefile b/src/tests/userprog/Makefile
index c5e4855268431e6b01023c6af6b0cdbeca5f32bc..eac2f2df156dc9e0c139bde3367324c251a09e13 100644 (file)
--- a/src/tests/userprog/Makefile
+++ b/src/tests/userprog/Makefile
@@ -7,12 +7,13 @@ 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 = ../..
 
 DEFINES = -DUSER
-CPPFLAGS = -nostdinc -I../.. -I- -I../../lib -I../../lib/user
+CPPFLAGS = -nostdinc -I../.. -I- -I../../lib -I../../lib/user \
+          -include constants.h
 
 # C library sources linked into every test program.
 LIB_SRC  = lib/debug.c                 # Debug code.