X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Frun-tests;h=b10cb973ebe8c2d59c1d9f0f91a73bd6952d63c5;hb=59bbbf9d74b6c6b430c51def30a9e1437f5e14a1;hp=ec185eebd47194f213ee97c82fc84995e6af7d99;hpb=546d8bf36bae548643722e1f5d55fd0fcc1c4262;p=pintos-anon

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