From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 6 Mar 2006 17:14:40 +0000 (+0000)
Subject: -u option should be -ul.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f7bc12fb5e4c3eb3ebb633f99b8b266622fc57f7;p=pintos-anon

-u option should be -ul.
Thanks to Josh Wiseman <joshwise@stanford.edu> for reporting this bug.
---

diff --git a/doc/vm.texi b/doc/vm.texi
index 840e506..6176bbd 100644
--- a/doc/vm.texi
+++ b/doc/vm.texi
@@ -670,7 +670,7 @@ kernel functions need to obtain memory.
 You can layer some other allocator on top of @func{palloc_get_page} if
 you like, but it should be the underlying mechanism.
 
-Also, you can use the @option{-u} option to @command{pintos} to limit
+Also, you can use the @option{-ul} option to @command{pintos} to limit
 the size of the user pool, which makes it easy to test your VM
 implementation with various user memory sizes.