From: Ben Pfaff Date: Fri, 19 May 2006 03:18:59 +0000 (+0000) Subject: Wording. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=4163bd7a767d1556c831c96c6381b18f65946d79 Wording. --- diff --git a/doc/filesys.texi b/doc/filesys.texi index 8ff62dd..16d0fad 100644 --- a/doc/filesys.texi +++ b/doc/filesys.texi @@ -14,7 +14,7 @@ filesys submission. If you build on project 3, then all of the project @file{filesys/Make.vars} to enable VM functionality. You can receive up to 5% extra credit if you do enable VM. -The tests for project 4 (and later projects) will probably run faster if +The tests for project 4 will probably run faster if you use the qemu emulator, e.g.@: via @code{make check PINTOSOPTS='--qemu'}.