When running a "test" or "assemble" target, run-tests now returns zero
[pintos-anon] / specs / kbd / yahoo912.jpg
2004-09-08 Ben PfaffSpecifications.