From: Ben Pfaff Date: Tue, 21 Jun 2005 14:15:22 +0000 (+0000) Subject: Increase mmap-shuffle, page-shuffle timeouts further. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=70a509e9786da5c4b834b07538e80ce894eb1756;p=pintos-anon Increase mmap-shuffle, page-shuffle timeouts further. --- diff --git a/src/tests/vm/Make.tests b/src/tests/vm/Make.tests index d01a613..a539f75 100644 --- a/src/tests/vm/Make.tests +++ b/src/tests/vm/Make.tests @@ -82,8 +82,8 @@ 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-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