public inbox for gdb-prs@sourceware.org
help / color / mirror / Atom feed
* [Bug cli/30819] New: [gdb/cli] per-command statistics don't work in batch mode
@ 2023-09-04 4:23 vries at gcc dot gnu.org
0 siblings, 0 replies; only message in thread
From: vries at gcc dot gnu.org @ 2023-09-04 4:23 UTC (permalink / raw)
To: gdb-prs
https://sourceware.org/bugzilla/show_bug.cgi?id=30819
Bug ID: 30819
Summary: [gdb/cli] per-command statistics don't work in batch
mode
Product: gdb
Version: HEAD
Status: NEW
Severity: enhancement
Priority: P2
Component: cli
Assignee: unassigned at sourceware dot org
Reporter: vries at gcc dot gnu.org
Target Milestone: ---
I tried out "maint set per-command space on" and noticed that:
- it doesn't print anything in batch mode
- when not using batch mode, it doesn't print anything until getting to the
prompt, accumulating the statistics of all the commands issued using "-ex",
which is not very "per-command".
--
You are receiving this mail because:
You are on the CC list for the bug.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2023-09-04 4:23 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-09-04 4:23 [Bug cli/30819] New: [gdb/cli] per-command statistics don't work in batch mode vries at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).