diff options
| author | Tom de Vries <tdevries@suse.de> | 2024-02-20 15:49:33 +0100 |
|---|---|---|
| committer | Tom de Vries <tdevries@suse.de> | 2024-02-20 15:49:33 +0100 |
| commit | 1b2c120daf9e2d935453f9051bbeafbac7f9f14d (patch) | |
| tree | c9d6fed6cdf7719117accb2cf1d42b614d2a5d26 /gdb/gdbarch.h | |
| parent | 9012a09f4f33fa38596c85f5c7fb442548f5e55c (diff) | |
| download | gdb-1b2c120daf9e2d935453f9051bbeafbac7f9f14d.zip gdb-1b2c120daf9e2d935453f9051bbeafbac7f9f14d.tar.gz gdb-1b2c120daf9e2d935453f9051bbeafbac7f9f14d.tar.bz2 | |
[gdb] Don't init history in batch mode
I noticed in captured_main_1 that init_history is called just before bailing
out if batch_flag is true.
The history is used only in an interactive session, so there's no need to
initialize it in batch mode.
Fix this by moving init_history to after the batch mode check.
Tested on x86_64-linux.
Approved-By: Andrew Burgess <aburgess@redhat.com>
Diffstat (limited to 'gdb/gdbarch.h')
0 files changed, 0 insertions, 0 deletions