Fix treatment of timeouts in run-tests and pintos.

[pintos-anon] / grading / vm / pt-bad-addr.exp

diff --git a/grading/vm/pt-bad-addr.exp b/grading/vm/pt-bad-addr.exp
index ac1492dc208056647130f246ca6956eb034a8ae7..593835e00910ed7c78799eedfc4ae288f41859db 100644 (file)
--- a/grading/vm/pt-bad-addr.exp
+++ b/grading/vm/pt-bad-addr.exp
@@ -1,2 +1 @@
 (pt-bad-addr) begin
-pt-bad-addr: exit(-1)