From 07fcf217b9e63854cc524f903f9ffe1c83ea7ac5 Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 31 Mar 2007 14:40:52 +0000
Subject: [PATCH] Fix bugs in -j and -r options reported by Godmar Back.

---
 src/utils/pintos | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/utils/pintos b/src/utils/pintos
index a4b0feb..2b5dad9 100755
--- a/src/utils/pintos
+++ b/src/utils/pintos
@@ -57,7 +57,7 @@ sub parse_command_line {
 		    "gdb" => sub { set_debug ("gdb") },
 
 		    "m|memory=i" => \$mem,
-		    "j|jitter=i" => sub { set_jitter (@_) },
+		    "j|jitter=i" => sub { set_jitter ($_[1]) },
 		    "r|realtime" => sub { set_realtime () },
 
 		    "T|timeout=i" => \$timeout,
@@ -410,7 +410,7 @@ panic: action=fatal
 EOF
     print BOCHSRC "gdbstub: enabled=1\n" if $debug eq 'gdb';
     print BOCHSRC "clock: sync=", $realtime ? 'realtime' : 'none',
-      " time0=0\n";
+      ", time0=0\n";
     print_bochs_disk_line ("ata0-master", 0);
     print_bochs_disk_line ("ata0-slave", 1);
     if (defined ($disks_by_iface[2]{FILE_NAME})
-- 
2.30.2