Team2890/allwpilib
4
0
Fork 0
mirror of https://github.com/wpilibsuite/allwpilib synced 2026-06-24 01:31:46 +00:00
Code Issues Packages Projects Releases Wiki Activity

Only use priority_mutex on RoboRIO by default. (#1172)

Browse Source 
On all Linux platforms it can be specifically requested by defining
WPI_USE_PRIORITY_MUTEX.
This commit is contained in:
Peter Johnson
2018-07-03 20:35:07 -07:00
committed by GitHub
parent ebd41fe0bb
commit de5d7d3c17
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
wpiutil/src/main/native/include/wpi/priority_mutex.h
View File

@@ -16,7 +16,11 @@
namespace wpi {
#ifdef __linux__
#if defined(__FRC_ROBORIO__) && !defined(WPI_USE_PRIORITY_MUTEX)
#define WPI_USE_PRIORITY_MUTEX
#endif
#if defined(WPI_USE_PRIORITY_MUTEX) && defined(__linux__)
#define WPI_HAVE_PRIORITY_MUTEX 1
@@ -79,6 +83,6 @@ class priority_mutex {
#endif
};
#endif // __linux__
#endif // defined(WPI_USE_PRIORITY_MUTEX) && defined(__linux__)
} // namespace wpi