X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Fprep-disk;h=f37a68297b11d2502190f71a51305dc41f5510a2;hb=24a570e28d45a8ec1dfb0e83abb78c488155e149;hp=f1b766c8614ebebf16d53dc32299d7f8d27bf091;hpb=3a7af748932b8be7c90331f9b322bbaa6e5feb3e;p=pintos-anon

diff --git a/grading/userprog/prep-disk b/grading/userprog/prep-disk
index f1b766c..f37a682 100755
--- a/grading/userprog/prep-disk
+++ b/grading/userprog/prep-disk
@@ -62,6 +62,7 @@ sub put_file {
 sub xsystem {
     my ($expect, $cmd) = @_;
     print "$cmd\n";
+    my ($code) = system ($cmd);
     WIFEXITED ($code) && WEXITSTATUS ($code) == $expect
 	or die "command failed\n";
 }