X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Frun-tests;h=a13566b2ac2291a3c9afaf2e5315feb02344a689;hb=c9933c8af7ba2af6aaccf381471bc757d78ce6b2;hp=ec185eebd47194f213ee97c82fc84995e6af7d99;hpb=415941c1e0a6fc5ce263d8355fde980239c0f844;p=pintos-anon

diff --git a/grading/userprog/run-tests b/grading/userprog/run-tests
index ec185ee..a13566b 100755
--- a/grading/userprog/run-tests
+++ b/grading/userprog/run-tests
@@ -169,8 +169,7 @@ sub get_file {
 			       . "--fs-disk=output/$test/fs.dsk.keep "
 			       . "-v get $guest_fn $host_fn",
 			       LOG => "$test/get-$guest_fn",
-			       TIMEOUT => 10,
-			       EXPECT => 0);
+			       TIMEOUT => 10);
     die "`pintos get $guest_fn' failed - $result\n"
 	if $result ne 'ok';
 }