Oliver Kowalke 7cdd314726 use std::mutex if available ...

if compiled for C++11 etc. use std::mutex. drawback of boost::mutex is that boost.thread depends on boost.system (requires linking against boost.system). boost.system is already part of C++11.

2016-02-27 20:43:54 +01:00

..

boost/pool

use std::mutex if available

2016-02-27 20:43:54 +01:00