20 Jan
2015
20 Jan
'15
3:05 p.m.
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