projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Fix runaway bochs, pintos processes on time-outs.
[pintos-anon]
/
grading
/
threads
/
run-tests
diff --git
a/grading/threads/run-tests
b/grading/threads/run-tests
index 73ab9a0697087724decac48e67dda3cb733ff70f..731499adc67e8a59f968ec71e21178fd6d56189f 100755
(executable)
--- 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);
}