> I guess my question is what would I need to change to make it work like the
> ARM port? I can't see how this is being controlled.

Try TARGET_PROMOTE_PROTOTYPES.

-- 
Eric Botcazou

Reply via email to