projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: be193f8) | 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)
commit0c9836a6422fe07c539bd0f08965011a7b164b0e
treeca08751b48ba323004407272b536a3b2fb028249tree | snapshot
parentbe193f8d945ee145b404e8b33fae7616a4b408f4commit | diff
Improve error message for grading when the make failed.
Still not ideal.
grading/lib/Pintos/Grading.pm diff | blob | history
Pintos public repository