>>>>> "Yao" == Yao Qi <yao@codesourcery.com> writes: Yao> On 08/21/2013 11:02 PM, Tom Tromey wrote: >> However, what do you think of the appended? >> It adds a "default" setting for addr_size. This seems to be what we >> usually want. Yao> It looks right to me. Please commit, then I can update my patch on top Yao> of it. It's in now. Tom