This is the mail archive of the
gdb-prs@sourceware.org
mailing list for the GDB project.
[Bug cli/15841] history file is touched even if GDB has no terminal (or is in batch mode)
- From: "palves at redhat dot com" <sourceware-bugzilla at sourceware dot org>
- To: gdb-prs at sourceware dot org
- Date: Mon, 19 Aug 2013 15:44:49 +0000
- Subject: [Bug cli/15841] history file is touched even if GDB has no terminal (or is in batch mode)
- Auto-submitted: auto-generated
- References: <bug-15841-4717 at http dot sourceware dot org/bugzilla/>
http://sourceware.org/bugzilla/show_bug.cgi?id=15841
Pedro Alves <palves at redhat dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |palves at redhat dot com
Summary|Unify interactivity tests |history file is touched
|to use |even if GDB has no terminal
|input_from_terminal_p |(or is in batch mode)
--
You are receiving this mail because:
You are on the CC list for the bug.