On 24/01/2014 11:19, Paul Sandoz wrote:
:

So more precisely that is "RTLD_LAZY | RTLD_FIRST" ?


Either will do, I went for RTLD_FIRST to be consistent with the hotspot change.

-Alan

Reply via email to