Fix treatment of timeouts in run-tests and pintos.
authorBen Pfaff <blp@cs.stanford.edu>
Tue, 23 Nov 2004 00:36:46 +0000 (00:36 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Tue, 23 Nov 2004 00:36:46 +0000 (00:36 +0000)
commit63fd3cb2150e5c3a8055afec09f81294b902b3d7
tree76fce25aaa2153f0776882acd33e33a2db23a21c
parent7aaf660c5ab561c0bbf13151f9b3c592d358e338
Fix treatment of timeouts in run-tests and pintos.
grading/vm/run-tests