projects
/
pintos-anon
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
1ad0c77
)
Use exec instead of system to start bochs.
author
Ben Pfaff
<blp@cs.stanford.edu>
Mon, 22 Nov 2004 23:05:03 +0000
(23:05 +0000)
committer
Ben Pfaff
<blp@cs.stanford.edu>
Mon, 22 Nov 2004 23:05:03 +0000
(23:05 +0000)
src/utils/pintos
patch
|
blob
|
history
diff --git
a/src/utils/pintos
b/src/utils/pintos
index f30e03adfe67ed56f582041d457f81f2d6f6a5e6..e513ab1e861785a8783937417c4c0055abb478a2 100755
(executable)
--- 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;
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';
} 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 (@_);
}
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})) {
sub search_path {
my ($target) = @_;
for my $dir (split (':', $ENV{PATH})) {