Use wpi::mutex instead of std::mutex. (#730)

This uses a priority-aware mutex on Linux platforms. Fixes #729.
2026-06-20 00:51:42 +00:00 · 2017-11-13 09:51:48 -08:00
parent 35d68d2a34
commit 4d559f3856
86 changed files with 491 additions and 839 deletions
--- a/hal/src/main/native/include/MockData/NotifyListenerVector.h
+++ b/hal/src/main/native/include/MockData/NotifyListenerVector.h
@@ -8,7 +8,6 @@
 #pragma once

 #include <memory>
-#include <mutex>
 #include <queue>
 #include <vector>