* gdbarch.sh: Emit a definition and declaration for gdbarch_free,
authorJim Blandy <jimb@codesourcery.com>
Tue, 21 Mar 2000 20:40:43 +0000 (20:40 +0000)
committerJim Blandy <jimb@codesourcery.com>
Tue, 21 Mar 2000 20:40:43 +0000 (20:40 +0000)
commit058f20d52afdf4a88494da6770c447d7ced87f47
tree34f79340c32077cd82a8a25576b7e672cd4a30d9
parentf2ae78293c387861afda4553a44ece0427b047ff
* gdbarch.sh: Emit a definition and declaration for gdbarch_free,
a companion to gdbarch_alloc, which allows a gdbarch init function
to free partially-built gdbarch structures.
* gdbarch.c, gdbarch.h: Regenerated.
gdb/gdbarch.c
gdb/gdbarch.h
gdb/gdbarch.sh