projects
/
pintos-anon
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
ecad183
)
Fix bug in --sim and --debug options reported by Bob Lantz.
author
Ben Pfaff
<blp@cs.stanford.edu>
Fri, 18 Jul 2008 01:13:29 +0000
(
01:13
+0000)
committer
Ben Pfaff
<blp@cs.stanford.edu>
Fri, 18 Jul 2008 01:13:29 +0000
(
01:13
+0000)
src/utils/pintos
patch
|
blob
|
history
diff --git
a/src/utils/pintos
b/src/utils/pintos
index 2b5dad9f4e6cdbf8a8ab8e316ce68a2475d557da..94132052b30e4b22feba396b0f58b8b57b928a2c 100755
(executable)
--- 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);
}
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") },
"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") },
"no-debug" => sub { set_debug ("none") },
"monitor" => sub { set_debug ("monitor") },
"gdb" => sub { set_debug ("gdb") },