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=206c771669ea64ec1aa3d393e1b86814c3f7c2e4;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