X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Futils%2Fpintos;h=4ce2d8507872af4e3d30d7d9025fe1cc7e0bf949;hb=5f9b230c5ca5f75dc7fe5619cdec350322cfef5f;hp=e513ab1e861785a8783937417c4c0055abb478a2;hpb=32d3a41e00f5877b7d171637c7f5cab7bdd19164;p=pintos-anon

diff --git a/src/utils/pintos b/src/utils/pintos
index e513ab1..4ce2d85 100755
--- 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';