From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 20 Sep 2004 04:45:27 +0000 (+0000)
Subject: Ignore bochs return code, it's not useful.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=641a6e3078a66123fb30057e2f281d6e1a6a7ca4

Ignore bochs return code, it's not useful.
---

diff --git a/src/utils/pintos b/src/utils/pintos
index a2168d2..920b28d 100755
--- a/src/utils/pintos
+++ b/src/utils/pintos
@@ -182,7 +182,7 @@ sub run_vm {
 	    print BOCHSRC "display_library: term\n";
 	}
 	close (BOCHSRC);
-	run_command ($bin, '-q');
+	run_command_no_die ($bin, '-q');
     } elsif ($sim eq 'qemu') {
 	print "warning: qemu doesn't support --terminal\n"
 	    if $vga eq 'terminal';
@@ -273,6 +273,11 @@ sub run_command {
     die "command failed\n" if system (@_);
 }
 
+sub run_command_no_die {
+    print join (' ', @_), "\n";
+    system (@_);
+}
+
 sub search_path {
     my ($target) = @_;
     for $dir (split (':', $ENV{PATH})) {