projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6ad017d) | 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)
commitc19cc247f44976f2c71d6add898df496c60d7d6f
tree6a1ac84c0b85264c6d94bf4e26c158bd51f5285atree | snapshot
parent6ad017d81335169c4048d08126c3848e445b8e04commit | 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