diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2020-08-25 10:45:55 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2020-08-25 10:45:55 +0100 |
commit | 3cf7c3ef441822c889356fd1812ebf2944a59851 (patch) | |
tree | c513fe68548b40365c1c2ebfe35c58ad431cdd77 /dev-ros/realtime_tools/files | |
parent | 05b8b0e0af1d72e51a3ee61522941bf7605cd01c (diff) |
gentoo resync : 25.08.2020
Diffstat (limited to 'dev-ros/realtime_tools/files')
-rw-r--r-- | dev-ros/realtime_tools/files/atomic.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/dev-ros/realtime_tools/files/atomic.patch b/dev-ros/realtime_tools/files/atomic.patch new file mode 100644 index 000000000000..0440900b9c32 --- /dev/null +++ b/dev-ros/realtime_tools/files/atomic.patch @@ -0,0 +1,12 @@ +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 { + |