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)
commit538e0cc1951cc2edf253918fd83fc3c36d9a6398
tree66091745cdb50c84a8bb88f1e494e9710e7ba52d
parent625ab3a2022422b65f32e73b2c99446b614940de
Fix treatment of timeouts in run-tests and pintos.
grading/vm/run-tests