From: Ben Pfaff Date: Tue, 21 Jun 2005 00:32:24 +0000 (+0000) Subject: Increase page-linear timeout. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=d7c90f1f83fbf359f8714aa627e12f188abd428e Increase page-linear timeout. --- diff --git a/src/tests/vm/Make.tests b/src/tests/vm/Make.tests index ed1d14a..19be5b9 100644 --- a/src/tests/vm/Make.tests +++ b/src/tests/vm/Make.tests @@ -81,6 +81,7 @@ 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