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;
-       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';