X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fthreads%2Frun-tests;fp=grading%2Fthreads%2Frun-tests;h=731499adc67e8a59f968ec71e21178fd6d56189f;hb=2969f4df6a95b37e05ad6aa562ae82206b646eb0;hp=73ab9a0697087724decac48e67dda3cb733ff70f;hpb=6c75d304d238c3dfdd2aef62decd60a16bb64c7d;p=pintos-anon

diff --git a/grading/threads/run-tests b/grading/threads/run-tests
index 73ab9a0..731499a 100755
--- a/grading/threads/run-tests
+++ b/grading/threads/run-tests
@@ -95,7 +95,8 @@ sub run_test {
 
     # Run.
     my ($timeout) = $test !~ /^mlfqs/ ? 10 : 600;
-    return run_pintos ("cd pintos/src/threads/build && pintos -v run -q",
+    return run_pintos (["-v", "run", "-q"],
+		       CHDIR => "pintos/src/threads/build",
 		       LOG => "$test/run",
 		       TIMEOUT => $timeout);
 }