mirror of
https://github.com/catchorg/Catch2.git
synced 2025-03-10 21:44:45 +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