diff options
Diffstat (limited to 'callgrind/callgrind_control.in')
-rw-r--r-- | callgrind/callgrind_control.in | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/callgrind/callgrind_control.in b/callgrind/callgrind_control.in index 6492d7b1..4a526d97 100644 --- a/callgrind/callgrind_control.in +++ b/callgrind/callgrind_control.in @@ -192,6 +192,7 @@ $requestDump = 0; $switchInstr = 0; $headerPrinted = 0; $dumpHint = ""; +$verbose = 0; %spids = (); foreach $arg (@ARGV) { @@ -205,6 +206,10 @@ foreach $arg (@ARGV) { elsif ($arg =~ /^--version$/) { printVersion; } + elsif ($arg =~ /^-v$/) { + $verbose++; + next; + } elsif ($arg =~ /^(-s|--stat)$/) { $printStatus = 1; next; @@ -324,7 +329,7 @@ if ($requestZero) { $vgdbCommand = "zero"; } if ($requestKill) { $vgdbCommand = "v.kill"; } if ($switchInstr) { $vgdbCommand = "instrumentation ".$switchInstrMode; } if ($printStatus || $printBacktrace || $requestEvents) { - $vgdbCommand = "status"; + $vgdbCommand = "status internal"; $waitForAnswer = 1; } @@ -336,7 +341,11 @@ foreach $pid (@pids) { print "\n"; next; } - print " [requesting '$vgdbCommand']\n"; + if ($verbose>0) { + print " [requesting '$vgdbCommand']\n"; + } else { + print "\n"; + } open RESULT, "vgdb --pid=$pid $vgdbCommand|"; @tids = (); |