X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Fprep-disk;h=50a6b799cc7ed6a834283cedfbc29aada498c169;hb=49f91ea15da93b7df4b946d42c70e09e740f3c06;hp=10afa8f5530a7d79c117124d2ef74fa85841769f;hpb=f9b28332a41db1212c70c7dae6445f073a5012af;p=pintos-anon

diff --git a/grading/vm/prep-disk b/grading/vm/prep-disk
index 10afa8f..50a6b79 100755
--- a/grading/vm/prep-disk
+++ b/grading/vm/prep-disk
@@ -2,6 +2,7 @@
 
 use strict;
 use Getopt::Long;
+use POSIX;
 
 my ($pintos) = "pintos";
 my ($os_disk) = "../../src/userprog/build/os.dsk";
@@ -43,5 +44,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";
 }