X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=grading%2Fuserprog%2Fprep-disk;h=f525b07adc38fbfb6bf21d81d469066a809887f3;hb=c9933c8af7ba2af6aaccf381471bc757d78ce6b2;hp=1d34e5fb1a340ecaac39c084dc3f7c4abeafce8f;hpb=e5dead5761315aea788cad46aa466a8dc802d614;p=pintos-anon

diff --git a/grading/userprog/prep-disk b/grading/userprog/prep-disk
index 1d34e5f..f525b07 100755
--- a/grading/userprog/prep-disk
+++ b/grading/userprog/prep-disk
@@ -2,6 +2,7 @@
 
 use strict;
 use Getopt::Long;
+use POSIX;
 
 my ($pintos) = "pintos";
 my ($os_disk) = "../../src/userprog/build/os.dsk";
@@ -61,5 +62,5 @@ sub put_file {
 sub xsystem {
     my ($cmd) = @_;
     print "$cmd\n";
-    system ($cmd) == 0 || die "command failed\n";
+    system ($cmd) == 0 or die "command failed\n";
 }