From: Ben Pfaff Date: Mon, 22 Nov 2004 23:05:03 +0000 (+0000) Subject: Use exec instead of system to start bochs. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7c2428cbf3836a05172a31d304c7ccb0d885a001;p=pintos-anon Use exec instead of system to start bochs. --- diff --git a/src/utils/pintos b/src/utils/pintos index f30e03a..e513ab1 100755 --- a/src/utils/pintos +++ b/src/utils/pintos @@ -234,7 +234,8 @@ sub run_vm { my (@cmd) = ($bin, '-q'); push (@cmd, '-j', $jitter) if defined $jitter; - run_command_no_die (@cmd); + print join (' ', @_), "\n"; + exec (@_); } elsif ($sim eq 'qemu') { print "warning: qemu doesn't support --terminal\n" if $vga eq 'terminal'; @@ -329,11 +330,6 @@ sub run_command { die "command failed\n" if system (@_); } -sub run_command_no_die { - print join (' ', @_), "\n"; - system (@_); -} - sub search_path { my ($target) = @_; for my $dir (split (':', $ENV{PATH})) {