mirror of
https://github.com/catchorg/Catch2.git
synced 2025-03-13 14:24:47 +01: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