From 641a6e3078a66123fb30057e2f281d6e1a6a7ca4 Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 20 Sep 2004 04:45:27 +0000
Subject: [PATCH] Ignore bochs return code, it's not useful.

---
 src/utils/pintos | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

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})) {
-- 
2.30.2