X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fthreads%2Frun-tests;h=0852f6f99536d11953debf5d61b4141c6e8ead38;hb=39c5d0ad729238d08668ce0eeaa71bc25540bc7b;hp=731499adc67e8a59f968ec71e21178fd6d56189f;hpb=b71440dac90bbed861e419fbc60e8c9eae5db362;p=pintos-anon

diff --git a/grading/threads/run-tests b/grading/threads/run-tests
index 731499a..0852f6f 100755
--- a/grading/threads/run-tests
+++ b/grading/threads/run-tests
@@ -94,7 +94,7 @@ sub run_test {
     xsystem ("cp pintos/src/threads/build/os.dsk output/$test");
 
     # Run.
-    my ($timeout) = $test !~ /^mlfqs/ ? 10 : 600;
+    my ($timeout) = $test !~ /^mlfqs/ ? 15 : 600;
     return run_pintos (["-v", "run", "-q"],
 		       CHDIR => "pintos/src/threads/build",
 		       LOG => "$test/run",