Merge branch 'develop' into feature/quick_exit

This commit is contained in:
Peter Dimov committed 2018-09-05 20:28:40 +03:00
commit 53772c8c73
2 files changed
+25 -22

No files matched your search

-7
View File
@@ -55,14 +55,7 @@ public:
~test_result() {
if (!report_) {
BOOST_LIGHTWEIGHT_TEST_OSTREAM << "main() should return report_errors()" << std::endl;
#if defined(_MSC_VER)
::_exit( 3 );
#elif defined(__MINGW32__) && !defined(__MINGW64_VERSION_MAJOR)
std::abort();
#else
::_Exit( 3 );
#endif
}
}