Re-hi,
On 20 January 2015 at 16:04, Armin Rigo <arigo@tunes.org> wrote:
> Maybe related: there is a copy mistake in after_external_call(). It
> should not call the get/set_saved_errno() functions.
Also, did you mean "_cleanup_()" instead of "__cleanup__()"?
Armin