projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 24f7fc8) | patch
When run.out is missing in &grade_test, just return an error that
authorBen Pfaff <blp@cs.stanford.edu>
Thu, 17 Mar 2005 18:52:52 +0000 (18:52 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Thu, 17 Mar 2005 18:52:52 +0000 (18:52 +0000)
commita7fefbb3d10e9bcc3a9baf9d0f3b6e8b0eac83d4
tree42a5ce4d1304eff336f991194dac46da9de04a68tree | snapshot
parent24f7fc8acbb300684df3e8d03477ce549b9d87eecommit | diff
When run.out is missing in &grade_test, just return an error that
preparation failed, instead of dying.  This can happen legitimately
when a `pintos put' fails.
grading/lib/Pintos/Grading.pm diff | blob | history
Pintos public repository