Ignore bochs return code, it's not useful.

diff --git a/src/utils/pintos b/src/utils/pintos
index a2168d225dc5405c1eea49bcb3e731f29f096f7c..920b28dfa80349f46cb7888c5f20a28a23f0f693 100755 (executable)
--- 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})) {