X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Ffilesys.texi;h=16d0fad0ed34b90dcd8881ba0f3df0e7ddf8857e;hb=4163bd7a767d1556c831c96c6381b18f65946d79;hp=8ff62dd9f29400db0a09a4ca3cb38c3c4675025e;hpb=8424d0f1568693f41715064cb45d8deb1fc2440b;p=pintos-anon 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'}.