Bug 30819 - [gdb/cli] per-command statistics don't work in batch mode
Summary: [gdb/cli] per-command statistics don't work in batch mode
Status: NEW
Alias: None
Product: gdb
Classification: Unclassified
Component: cli (show other bugs)
Version: HEAD
: P2 enhancement
Target Milestone: ---
Assignee: Not yet assigned to anyone
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2023-09-04 04:23 UTC by Tom de Vries
Modified: 2023-09-04 04:23 UTC (History)
0 users

See Also:
Host:
Target:
Build:
Last reconfirmed:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Tom de Vries 2023-09-04 04:23:20 UTC 
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".