2013-08-15 Muhammad Bilal <mbilal@codesourcery.com>
authorMuhammad Bilal <mbilal@sourceware.org>
Thu, 15 Aug 2013 08:18:31 +0000 (08:18 +0000)
committerMuhammad Bilal <mbilal@sourceware.org>
Thu, 15 Aug 2013 08:18:31 +0000 (08:18 +0000)
commit35ab155d372b1cf4d57a889acacd3913fbc9d793
treeca49332686df80ca7b984146dafddaf323339cc9
parent2e53f7d6010d59f1ea82d55dbe3ba41e5c460ae3
2013-08-15  Muhammad Bilal  <mbilal@codesourcery.com>

PR cli/15841
* top.c (quit_force): Skip writing history file
if input is not from terminal.
gdb/ChangeLog
gdb/top.c