Always use a custom linker script, to avoid oddities in the default.

[pintos-anon] / doc / vm.texi

diff --git a/doc/vm.texi b/doc/vm.texi
index 42bb3cea5c856d8ebb7955db5b3ee03fa754ac1b..99f4f4fb53fd3f05de770fc70670796e80de6e81 100644 (file)
--- a/doc/vm.texi
+++ b/doc/vm.texi
@@ -460,7 +460,7 @@ such as Linux do not load partial pages lazily.
 
 Incidentally, if you have trouble handling the third case above, you
 can eliminate it temporarily by linking the test programs with a
 
 Incidentally, if you have trouble handling the third case above, you
 can eliminate it temporarily by linking the test programs with a

-special ``linker script.''  Read @file{tests/userprog/Makefile} for
+special ``linker script.''  Read @file{Makefile.userprog} for

 details.  We will not test your submission with this special linker
 script, so the code you turn in must properly handle all cases.
 
 details.  We will not test your submission with this special linker
 script, so the code you turn in must properly handle all cases.