Increase mmap-shuffle, page-shuffle timeouts further.
[pintos-anon] / src / tests / vm / Make.tests
index 1c2257b116e18d9b901c00fd819f8b57769c0a82..a539f7552e5863901009474685e0d9fc9736ff3e 100644 (file)
@@ -81,6 +81,12 @@ tests/vm/mmap-over-data_PUTFILES = tests/vm/sample.txt
 tests/vm/mmap-over-stk_PUTFILES = tests/vm/sample.txt
 tests/vm/mmap-remove_PUTFILES = tests/vm/sample.txt
 
+tests/vm/page-linear.output: TIMEOUT = 300
+tests/vm/page-shuffle.output: TIMEOUT = 600
+tests/vm/mmap-shuffle.output: TIMEOUT = 600
+tests/vm/page-merge-seq.output: TIMEOUT = 600
+tests/vm/page-merge-par.output: TIMEOUT = 600
+
 tests/vm/zeros:
        dd if=/dev/zero of=$@ bs=1024 count=6