projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix treatment of timeouts in run-tests and pintos.
[pintos-anon]
/
src
/
utils
/
pintos
diff --git
a/src/utils/pintos
b/src/utils/pintos
index e513ab1e861785a8783937417c4c0055abb478a2..4ce2d8507872af4e3d30d7d9025fe1cc7e0bf949 100755
(executable)
--- a/
src/utils/pintos
+++ b/
src/utils/pintos
@@
-234,8
+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;
- print join (' ', @
_
), "\n";
- exec (@
_
);
+ print join (' ', @
cmd
), "\n";
+ exec (@
cmd
);
} 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';