xsystem ("cp pintos/src/threads/build/os.dsk output/$test");
# Run.
- my ($timeout) = $test !~ /^mlfqs/ ? 10 : 600;
- return run_pintos ("cd pintos/src/threads/build && pintos -v run -q",
+ my ($timeout) = $test !~ /^mlfqs/ ? 15 : 600;
+ return run_pintos (["-v", "run", "-q"],
+ CHDIR => "pintos/src/threads/build",
LOG => "$test/run",
TIMEOUT => $timeout);
}