projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Increase time-outs for page-shuffle, mmap-shuffle.
[pintos-anon]
/
src
/
tests
/
vm
/
Make.tests
diff --git
a/src/tests/vm/Make.tests
b/src/tests/vm/Make.tests
index c519efbffa10ab806ae104e9f7cdbed2f59b796c..ed1d14a02c16b2c230d3e69d080016d787447e0b 100644
(file)
--- 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/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
tests/vm/page-merge-seq.output: TIMEOUT = 300
tests/vm/page-merge-par.output: TIMEOUT = 300