From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 14 Jan 2005 05:43:25 +0000 (+0000)
Subject: Expect proper result from `pintos get'.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=59bbbf9d74b6c6b430c51def30a9e1437f5e14a1

Expect proper result from `pintos get'.
---

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';
 }