Re-hi, On 20 January 2015 at 16:04, Armin Rigo <ar...@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 _______________________________________________ pypy-dev mailing list pypy-dev@python.org https://mail.python.org/mailman/listinfo/pypy-dev
