diff options
Diffstat (limited to 'dev-ros/realtime_tools/files/atomic.patch')
| -rw-r--r-- | dev-ros/realtime_tools/files/atomic.patch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/dev-ros/realtime_tools/files/atomic.patch b/dev-ros/realtime_tools/files/atomic.patch deleted file mode 100644 index 0440900b9c32..000000000000 --- a/dev-ros/realtime_tools/files/atomic.patch +++ /dev/null @@ -1,12 +0,0 @@ -Index: realtime_tools-1.16.0/include/realtime_tools/realtime_publisher.h -=================================================================== ---- realtime_tools-1.16.0.orig/include/realtime_tools/realtime_publisher.h -+++ realtime_tools-1.16.0/include/realtime_tools/realtime_publisher.h -@@ -45,6 +45,7 @@ - #include <memory> - #include <mutex> - #include <thread> -+#include <atomic> - - namespace realtime_tools { - |