* exec.c (set_section_name): Pass arg to exec_files_info;
authorJohn Gilmore <gnu@cygnus>
Fri, 7 Feb 1992 15:57:32 +0000 (15:57 +0000)
committerJohn Gilmore <gnu@cygnus>
Fri, 7 Feb 1992 15:57:32 +0000 (15:57 +0000)
commitef9b1bc915abde059df34e6e67f3e83c207465fd
tree5c7bccfc295dda15304ef44b88f6df5085ba9042
parent3b2cf8e86563c16942c7224a6beec0d1336b4c45
* exec.c (set_section_name):  Pass arg to exec_files_info;
only call it if interactive.  From Francis Kauth <fk@tv.tv.tek.com>.
gdb/ChangeLog