* core.c (core_file_info), exec.c (exec_file_info): Print file
authorJohn Gilmore <gnu@cygnus>
Fri, 25 Oct 1991 09:32:06 +0000 (09:32 +0000)
committerJohn Gilmore <gnu@cygnus>
Fri, 25 Oct 1991 09:32:06 +0000 (09:32 +0000)
commitc58215f248884f65e25340da425de74461842815
tree3fb22bcffd60e8cea8c756b64e3fdfa4db8d4386
parent9cb602e111d316e5c1f857fbd2f33f5dfbc275b3
* core.c (core_file_info), exec.c (exec_file_info):  Print file
type.  Use printf_filtered.
gdb/ChangeLog
gdb/core.c