Thomas Schwinge <thomas@codesourcery.com> wrote: > Yes, that works fine, thanks! (And, indeed: the version in the > repository has a #define SHARED at the top.) Thanks! I'll send a patch corresponding to it. Regards, kaz