From: Ben Pfaff <blp@cs.stanford.edu>
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?p=pintos-anon;a=commitdiff_plain;h=70a509e9786da5c4b834b07538e80ce894eb1756

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