X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fvm%2FMake.tests;h=ed1d14a02c16b2c230d3e69d080016d787447e0b;hb=a3e43e91fae97bbdef2a09823e819c1f6950cc32;hp=c519efbffa10ab806ae104e9f7cdbed2f59b796c;hpb=663f8fb7e3cdabff1d0e0a3791ed85fcd650cb1d;p=pintos-anon 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