* gdbarch.sh: When an int variable, print value using %d instead
authorAndrew Cagney <cagney@redhat.com>
Tue, 25 Dec 2001 22:19:40 +0000 (22:19 +0000)
committerAndrew Cagney <cagney@redhat.com>
Tue, 25 Dec 2001 22:19:40 +0000 (22:19 +0000)
commit06b25f14b06f7ce665b495a436afc79d0c91a97f
tree2893269410ea803473ee54173029c97f5ae9dd5d
parent916479f645be32bab1b7794ba10b3feaa119b9af
* gdbarch.sh: When an int variable, print value using %d instead
of %ld.
* gdbarch.c: Re-generate.
gdb/ChangeLog
gdb/gdbarch.c
gdb/gdbarch.sh