From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 18 Jul 2008 01:13:29 +0000 (+0000)
Subject: Fix bug in --sim and --debug options reported by Bob Lantz.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=73a641b917fca65bab31677f27ab76b7bb280f3b

Fix bug in --sim and --debug options reported by Bob Lantz.
---

diff --git a/src/utils/pintos b/src/utils/pintos
index 2b5dad9..9413205 100755
--- a/src/utils/pintos
+++ b/src/utils/pintos
@@ -46,12 +46,12 @@ sub parse_command_line {
 	while ((my $arg = shift (@kernel_args)) ne '--') {
 	    push (@ARGV, $arg);
 	}
-	GetOptions ("sim=s" => sub { set_sim (@_) },
+	GetOptions ("sim=s" => sub { set_sim ($_[1]) },
 		    "bochs" => sub { set_sim ("bochs") },
 		    "qemu" => sub { set_sim ("qemu") },
 		    "player" => sub { set_sim ("player") },
 
-		    "debug=s" => sub { set_debug (@_) },
+		    "debug=s" => sub { set_debug ($_[1]) },
 		    "no-debug" => sub { set_debug ("none") },
 		    "monitor" => sub { set_debug ("monitor") },
 		    "gdb" => sub { set_debug ("gdb") },