projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d5859f3) | 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:51:58 +0000 (18:51 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Thu, 17 Mar 2005 18:51:58 +0000 (18:51 +0000)
commit979829bf6f563cbaf9aaf83a6332a2bc79f2f581
tree82e8c54129a64b9f7f83063de7d449c7779572abtree | snapshot
parentd5859f34033fee47c7ae626ea2d3c0b5d83cfe3bcommit | 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