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?a=commitdiff_plain;h=1aaf0abca2d3673738b1d26547f5bb1f40623150;p=pintos-anon 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'}.