Replacing std::mutex by boost::mutex as std::mutex is not on S10

This commit is contained in:
Yoann Audouin 2022-10-10 10:54:28 +02:00
parent e2a0dc7815
commit 60aec28a55

View File

@ -47,8 +47,10 @@
#include <list>
#include <vector>
#include <ostream>
#include <boost/filesystem.hpp>
#include <boost/asio/thread_pool.hpp>
#include <boost/thread.hpp>
#ifdef WIN32
#pragma warning(disable:4251) // Warning DLL Interface ...
@ -451,7 +453,7 @@ protected:
TCallUp* _callUp;
// Mutex for multhitreading write in SMESH_Mesh
std::mutex _my_lock;
boost::mutex _my_lock;
int _NbThreads=0;
protected: