From: Ben Pfaff Date: Thu, 1 Jun 2006 21:54:30 +0000 (+0000) Subject: Fix typos. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7641b4a058aedefcf6430000ec7742881f9e2a9f;p=pintos-anon Fix typos. --- diff --git a/doc/filesys.texi b/doc/filesys.texi index db4d948..83900ce 100644 --- a/doc/filesys.texi +++ b/doc/filesys.texi @@ -96,9 +96,9 @@ system. The grading scripts check the file system's correctness based on the contents of the file copied out in the second run. This means that your project will not pass any of the extended file system tests until the -file system is implemented well enough to support @program{tar}, the +file system is implemented well enough to support @command{tar}, the Pintos user program that produces the file that is copied out. The -@program{tar} program is fairly demanding (it requires both extensible +@command{tar} program is fairly demanding (it requires both extensible file and subdirectory support), so this will take some work. Until then, you can ignore errors from @command{make check} regarding the extracted file system. diff --git a/doc/intro.texi b/doc/intro.texi index 6541cf1..c484690 100644 --- a/doc/intro.texi +++ b/doc/intro.texi @@ -358,7 +358,7 @@ specifying @option{VERBOSE=1} on the @command{make} command line, as in @code{make check VERBOSE=1}. You can also provide arbitrary options to the @command{pintos} run by the tests with @option{PINTOSOPTS='@dots{}'}, e.g.@: @code{make check PINTOSOPTS='-j 1'} to select a jitter value of 1 -(@pxref{Debugging Versus Testing}). +(@pxref{Debugging versus Testing}). All of the tests and related files are in @file{pintos/src/tests}. Before we test your submission, we will replace the contents of that