projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Comment.
[pintos-anon]
/
grading
/
vm
/
run-tests
diff --git
a/grading/vm/run-tests
b/grading/vm/run-tests
index 23fec9077e74e775ccbab7ec2fa01a1ecb586063..8f9e635db421bcc0c9e1b7492a9f563a7c3d63ee 100755
(executable)
--- a/
grading/vm/run-tests
+++ b/
grading/vm/run-tests
@@
-35,10
+35,10
@@
exit if $action eq 'build';
run_and_grade_tests ();
write_grades ();
write_details ();
run_and_grade_tests ();
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'";