diff options
| author | Henrik Edin <henrik.edin@mongodb.com> | 2018-12-13 11:44:21 -0500 |
|---|---|---|
| committer | Henrik Edin <henrik.edin@mongodb.com> | 2018-12-18 09:12:51 -0500 |
| commit | c28cb6852fca219d6f0262000c378e982b7ca9ff (patch) | |
| tree | e06e74d1729e644db7c4dc2e5ecd529145b2f34c /src/third_party/boost-1.69.0/boost/detail/winapi/get_thread_times.hpp | |
| parent | 05ebfef11161b96ba0e8374f34c359a403097f60 (diff) | |
| download | mongo-c28cb6852fca219d6f0262000c378e982b7ca9ff.tar.gz | |
SERVER-38458 Upgrade boost to version 1.69
Diffstat (limited to 'src/third_party/boost-1.69.0/boost/detail/winapi/get_thread_times.hpp')
| -rw-r--r-- | src/third_party/boost-1.69.0/boost/detail/winapi/get_thread_times.hpp | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/src/third_party/boost-1.69.0/boost/detail/winapi/get_thread_times.hpp b/src/third_party/boost-1.69.0/boost/detail/winapi/get_thread_times.hpp new file mode 100644 index 00000000000..96f1fac8f37 --- /dev/null +++ b/src/third_party/boost-1.69.0/boost/detail/winapi/get_thread_times.hpp @@ -0,0 +1,20 @@ +/* + * Copyright 2017 Andrey Semashev + * + * Distributed under the Boost Software License, Version 1.0. + * See http://www.boost.org/LICENSE_1_0.txt + * + * This header is deprecated, use boost/winapi/get_thread_times.hpp instead. + */ + +#ifndef BOOST_DETAIL_WINAPI_GET_THREAD_TIMES_HPP +#define BOOST_DETAIL_WINAPI_GET_THREAD_TIMES_HPP + +#include <boost/winapi/get_thread_times.hpp> +#include <boost/detail/winapi/detail/deprecated_namespace.hpp> + +#ifdef BOOST_HAS_PRAGMA_ONCE +#pragma once +#endif + +#endif // BOOST_DETAIL_WINAPI_GET_THREAD_TIMES_HPP |