From: Ben Pfaff 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?a=commitdiff_plain;h=641a6e3078a66123fb30057e2f281d6e1a6a7ca4;p=pintos-anon 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})) {