Fix treatment of timeouts in run-tests and pintos.
authorBen Pfaff <blp@cs.stanford.edu>
Tue, 23 Nov 2004 01:56:00 +0000 (01:56 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Tue, 23 Nov 2004 01:56:00 +0000 (01:56 +0000)
commita1c361c30b0a50e0c82b767696ef565f12e899ee
tree0605b363dd5f24ebbe4d8e79d9115683c1055255
parent22e217ef8acdea1775a6f7840c8b8b633b2d41c1
Fix treatment of timeouts in run-tests and pintos.
grading/vm/run-tests