From 39c5d0ad729238d08668ce0eeaa71bc25540bc7b Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 7 Feb 2005 05:52:50 +0000
Subject: [PATCH] Increase default timeout to 15 seconds.

---
 grading/threads/run-tests | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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",
-- 
2.30.2