projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 58a1b6f) | patch
Improve error message for grading when the make failed.
authorBen Pfaff <blp@cs.stanford.edu>
Sat, 1 Jan 2005 02:22:27 +0000 (02:22 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Sat, 1 Jan 2005 02:22:27 +0000 (02:22 +0000)
commitb64916ce237a86fc03daa2155637492f0ab97870
tree86096a9a80129fbbb382ae9550baaf51b0001790tree | snapshot
parent58a1b6fe4dda6624ca7c4a4ac80bd894446e0939commit | diff
Improve error message for grading when the make failed.
Still not ideal.
grading/lib/Pintos/Grading.pm diff | blob | history
Pintos public repository