diff options
Diffstat (limited to 'dev-ros/timestamp_tools/files/boost.patch')
-rw-r--r-- | dev-ros/timestamp_tools/files/boost.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/dev-ros/timestamp_tools/files/boost.patch b/dev-ros/timestamp_tools/files/boost.patch new file mode 100644 index 000000000000..de7878ca19b8 --- /dev/null +++ b/dev-ros/timestamp_tools/files/boost.patch @@ -0,0 +1,13 @@ +Index: timestamp_tools/include/timestamp_tools/trigger_matcher.h +=================================================================== +--- timestamp_tools.orig/include/timestamp_tools/trigger_matcher.h ++++ timestamp_tools/include/timestamp_tools/trigger_matcher.h +@@ -266,7 +266,7 @@ public: + if (stamp != RetryLater) + return stamp; + +- got_trigger_condition_.timed_wait(lock, boost::posix_time::microseconds(timeout * 1e6)); ++ got_trigger_condition_.timed_wait(lock, boost::posix_time::microseconds(static_cast<int>(timeout * 1e6))); + + return getTimestampNoblockPrelocked(t); + } |