projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4d02c49) | patch
Fix bug that converted errors into warnings.
authorBen Pfaff <blp@cs.stanford.edu>
Wed, 29 Dec 2004 23:30:20 +0000 (23:30 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Wed, 29 Dec 2004 23:30:20 +0000 (23:30 +0000)
commit452fc78e8a0702f4c8cbb0344c5756049c917ad1
tree37393789493d3e78a94e65ac9db7df5624f9e548tree | snapshot
parent4d02c49e21ba884fd5d3dc092b3834641e3b742acommit | diff
Fix bug that converted errors into warnings.
Fix bug that broke backtraces for threads project.
Fix bug in parsing command line.
grading/lib/Pintos/Grading.pm diff | blob | history
Pintos public repository