Improve error message for grading when the make failed.
[pintos-anon] / grading / vm / lib /
2004-11-20 Ben PfaffMore VM tests.