X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Futils%2Fpintos;h=bcfe85a28a75a450ce4f1f5d7b77ac63c71981e9;hb=c76f65879a1160c81c345c746f1698585aaa3652;hp=a3c9c4c2a54679985323438d8c456718f6177b62;hpb=c0bc07e2f62859beddbb97bfa19005d07820fd0a;p=pintos-anon

diff --git a/src/utils/pintos b/src/utils/pintos
index a3c9c4c..bcfe85a 100755
--- a/src/utils/pintos
+++ b/src/utils/pintos
@@ -216,6 +216,17 @@ sub run_vm {
 	undef $disks[$i] if ! -e $disks[$i];
     }
 
+    my ($project) = `pwd` =~ /\b(threads|userprog|vm|filesys)\b/;
+    if (($project eq 'userprog' || $project eq 'vm' || $project eq 'filesys')
+	&& !defined $disks[1]) {
+	print STDERR "warning: it looks like you're running the $project project, "
+	    . "but no file system disk is present\n";
+    }
+    if ($project eq 'vm' && !defined $disks[3]) {
+	print STDERR "warning: it looks like you're running the $project project, "
+	    . "but no swap disk is present\n";
+    }
+
     write_cmd_line ($disks[0], @_);
 
     if ($sim eq 'bochs') {