From 59bbbf9d74b6c6b430c51def30a9e1437f5e14a1 Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Fri, 14 Jan 2005 05:43:25 +0000 Subject: [PATCH] Expect proper result from `pintos get'. --- grading/userprog/run-tests | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/grading/userprog/run-tests b/grading/userprog/run-tests index ec185ee..b10cb97 100755 --- a/grading/userprog/run-tests +++ b/grading/userprog/run-tests @@ -170,7 +170,7 @@ sub get_file { . "-v get $guest_fn $host_fn", LOG => "$test/get-$guest_fn", TIMEOUT => 10, - EXPECT => 0); + EXPECT => 1); die "`pintos get $guest_fn' failed - $result\n" if $result ne 'ok'; } -- 2.30.2