X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fvm%2FMake.tests;h=a539f7552e5863901009474685e0d9fc9736ff3e;hb=70a509e9786da5c4b834b07538e80ce894eb1756;hp=19be5b9288801c5a8956a1dd40a9dfc75c912dac;hpb=d7c90f1f83fbf359f8714aa627e12f188abd428e;p=pintos-anon

diff --git a/src/tests/vm/Make.tests b/src/tests/vm/Make.tests
index 19be5b9..a539f75 100644
--- a/src/tests/vm/Make.tests
+++ b/src/tests/vm/Make.tests
@@ -82,10 +82,10 @@ 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
-tests/vm/page-merge-par.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
 
 tests/vm/zeros:
 	dd if=/dev/zero of=$@ bs=1024 count=6