Fix bug in pagedir_get_page(): didn't apply uaddr page offset to kaddr

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

diff --git a/src/tests/userprog/Makefile b/src/tests/userprog/Makefile
index 290ed7dac87b9c70d7e81377e529d3d1f47a012f..54138821bb81592501b4c30ff11891ada91d0269 100644 (file)
--- a/src/tests/userprog/Makefile
+++ b/src/tests/userprog/Makefile
@@ -22,7 +22,7 @@ recursor_SRC = recursor.c
 shell_SRC = shell.c
 
 # Linker flags.
-LDFLAGS = -nostdlib -static
+LDFLAGS = -nostdlib -static -s
 LDLIBS = $(shell $(CC) -print-libgcc-file-name)
 
 # Uncomment the line below to round up segment sizes to full pages for