mirror of
https://github.com/catchorg/Catch2
synced 2026-02-01 09:02:16 +00:00
std::ifstream in libstdc++ contains a bug, where it sets errno to zero. To work around it, we manually save the errno before using std::ifstream in debugger check, and reset it after we are done. We also preventively save errno before using sprintf. Fixes #835