[patch] print ``int'' with %d not %ld (long) in gdbarch

[Andrew Cagney]

To follow up the problem that JimB encountered, this patch tweeks 
gdbarch.sh so that ``int'' variables are printed using %d.

Andrew
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: diffs
URL: <http://sourceware.org/pipermail/gdb-patches/attachments/20011225/81aeac6b/attachment.ksh>