projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 09fdbd3) | patch
Warn if timeout used with debugger.
authorBen Pfaff <blp@cs.stanford.edu>
Wed, 5 Apr 2006 19:33:33 +0000 (19:33 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Wed, 5 Apr 2006 19:33:33 +0000 (19:33 +0000)
commit6863628ceb049af4dcb60d9d04286d2b5b25ef94
treecfaf86055cfdb8975ebe8f07d27e3d5bce74b460tree | snapshot
parent09fdbd36a6d12efd53edd764f3176d3fc3bad284commit | diff
Warn if timeout used with debugger.
Thanks to Alicia Chen <achen530@stanford.edu> for question.
src/utils/pintos diff | blob | history
Pintos public repository