Add file system persistence tests:

[pintos-anon] / src / tests / vm / Make.tests

diff --git a/src/tests/vm/Make.tests b/src/tests/vm/Make.tests
index 4a5820d81ed3d75a2330c2b4778220a838c6c4bb..460bfd0706cf60b3bcf41cf4a6be051671998a41 100644 (file)
--- a/src/tests/vm/Make.tests
+++ b/src/tests/vm/Make.tests
@@ -1,7 +1,5 @@
 # -*- makefile -*-
 
-PINTOSFLAGS += --swap-disk=4
-
 tests/vm_TESTS = $(addprefix tests/vm/,pt-grow-stack pt-grow-pusha     \
 pt-grow-bad pt-big-stk-obj pt-bad-addr pt-bad-read pt-write-code       \
 pt-write-code2 pt-grow-stk-sc page-linear page-parallel page-merge-seq \