From: Ben Pfaff <blp@cs.stanford.edu>
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?p=pintos-anon;a=commitdiff_plain;h=7c2428cbf3836a05172a31d304c7ccb0d885a001

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