Make the default simulator qemu for project 2...4,

[pintos-anon] / doc / filesys.texi

diff --git a/doc/filesys.texi b/doc/filesys.texi
index 49117a502ae1fad37b20f1ba9ff1a77b3cb79c44..a93481cca37da657cf8ec50890691e12f2d39dfe 100644 (file)
--- a/doc/filesys.texi
+++ b/doc/filesys.texi
@@ -14,10 +14,6 @@ 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 will probably run faster if
-you use the qemu emulator, e.g.@: via @code{make check
-PINTOSOPTS='--qemu'}.
-
 @menu
 * Project 4 Background::        
 * Project 4 Requirements::