From: Ben Pfaff Date: Mon, 20 Jun 2005 22:56:27 +0000 (+0000) Subject: Increase time-outs for page-shuffle, mmap-shuffle. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a3e43e91fae97bbdef2a09823e819c1f6950cc32;p=pintos-anon Increase time-outs for page-shuffle, mmap-shuffle. --- diff --git a/src/tests/vm/Make.tests b/src/tests/vm/Make.tests index c519efb..ed1d14a 100644 --- a/src/tests/vm/Make.tests +++ b/src/tests/vm/Make.tests @@ -81,6 +81,8 @@ 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-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