From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 21 Jun 2005 06:42:58 +0000 (+0000)
Subject: Make page-merge-seq, page-merge-par even longer.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=81000837935d5b094d6919a266cd9441874c721b;p=pintos-anon

Make page-merge-seq, page-merge-par even longer.
---

diff --git a/src/tests/vm/Make.tests b/src/tests/vm/Make.tests
index 19be5b9..d01a613 100644
--- a/src/tests/vm/Make.tests
+++ b/src/tests/vm/Make.tests
@@ -84,8 +84,8 @@ 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
-tests/vm/page-merge-par.output: TIMEOUT = 300
+tests/vm/page-merge-seq.output: TIMEOUT = 600
+tests/vm/page-merge-par.output: TIMEOUT = 600
 
 tests/vm/zeros:
 	dd if=/dev/zero of=$@ bs=1024 count=6