From 7c2428cbf3836a05172a31d304c7ccb0d885a001 Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 22 Nov 2004 23:05:03 +0000
Subject: [PATCH] Use exec instead of system to start bochs.

---
 src/utils/pintos | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

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