X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Futils%2Fpintos;h=40a240ce974a66c0d590597be4bed25bed0e52dd;hb=3cebac2006571a93ea0cbf992faa5eec3454d570;hp=ea4bdcc5da20dbb4c1d7956bedace31a8849f15d;hpb=e8224d47b969cbdd7e0ffb4fd04f37e19b64bf0f;p=pintos-anon

diff --git a/src/utils/pintos b/src/utils/pintos
index ea4bdcc..40a240c 100755
--- a/src/utils/pintos
+++ b/src/utils/pintos
@@ -214,8 +214,9 @@ sub run_vm {
     our (@disks);
 
     die "$disks[0]: can't find OS disk\n" if ! -e $disks[0];
+    die "$disks[0]: OS disk cannot have zero size\n" if ! -s $disks[0];
     for my $i (1...3) {
-	undef $disks[$i] if ! -e $disks[$i];
+	undef $disks[$i] if ! -s $disks[$i];
     }
 
     if (my ($project) = `pwd` =~ /\b(threads|userprog|vm|filesys)\b/) {