projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Get rid of THREAD_JOIN_IMPLEMENTED by adding thread_join() stub.
[pintos-anon]
/
grading
/
threads
/
run-tests
diff --git
a/grading/threads/run-tests
b/grading/threads/run-tests
index 4199d94214f09b9b61348ff487f620937ea39dcd..0852f6f99536d11953debf5d61b4141c6e8ead38 100755
(executable)
--- a/
grading/threads/run-tests
+++ b/
grading/threads/run-tests
@@
-44,10
+44,10
@@
if (defined ($result{'mlfqs-on'}) && defined ($result{'mlfqs-off'})) {
}
write_grades ();
write_details ();
}
write_grades ();
write_details ();
-exit if $action eq 'test';
+exit
success ()
if $action eq 'test';
assemble_final_grade ();
assemble_final_grade ();
-exit if $action eq 'assemble';
+exit
success ()
if $action eq 'assemble';
die "Don't know how to '$action'";
die "Don't know how to '$action'";
@@
-94,8
+94,9
@@
sub run_test {
xsystem ("cp pintos/src/threads/build/os.dsk output/$test");
# Run.
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);
}
LOG => "$test/run",
TIMEOUT => $timeout);
}