Make page-merge-seq, page-merge-par even longer.

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

diff --git a/src/tests/vm/Make.tests b/src/tests/vm/Make.tests
index ed1d14a02c16b2c230d3e69d080016d787447e0b..d01a613639a298e31e10851f620f71143d36a476 100644 (file)
--- a/src/tests/vm/Make.tests
+++ b/src/tests/vm/Make.tests
@@ -81,10 +81,11 @@ 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 = 300
 tests/vm/mmap-shuffle.output: TIMEOUT = 300
-tests/vm/page-merge-seq.output: TIMEOUT = 300
-tests/vm/page-merge-par.output: TIMEOUT = 300
+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