2020-12-26 14:12:05 -08:00
|
|
|
// Copyright (c) FIRST and other WPILib contributors.
|
|
|
|
|
// Open Source Software; you can modify and/or share it under the terms of
|
|
|
|
|
// the WPILib BSD license file in the root directory of this project.
|
2017-11-12 20:56:29 -08:00
|
|
|
|
|
|
|
|
#pragma once
|
|
|
|
|
|
|
|
|
|
#include <mutex>
|
|
|
|
|
|
2024-09-20 17:43:39 -07:00
|
|
|
#include "wpi/priority_mutex.h"
|
2017-11-12 20:56:29 -08:00
|
|
|
|
|
|
|
|
namespace wpi {
|
|
|
|
|
|
|
|
|
|
#ifdef WPI_HAVE_PRIORITY_MUTEX
|
|
|
|
|
using mutex = priority_mutex;
|
|
|
|
|
using recursive_mutex = priority_recursive_mutex;
|
|
|
|
|
#else
|
|
|
|
|
using mutex = ::std::mutex;
|
|
|
|
|
using recursive_mutex = ::std::recursive_mutex;
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
} // namespace wpi
|