diff options
Diffstat (limited to 'moveit-ros-benchmarks-fix-boost-progress.patch')
| -rw-r--r-- | moveit-ros-benchmarks-fix-boost-progress.patch | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/moveit-ros-benchmarks-fix-boost-progress.patch b/moveit-ros-benchmarks-fix-boost-progress.patch new file mode 100644 index 0000000..ffbc478 --- /dev/null +++ b/moveit-ros-benchmarks-fix-boost-progress.patch @@ -0,0 +1,18 @@ +--- a/moveit-ros-benchmarks-2.5.9/src/BenchmarkExecutor.cpp ++++ b/moveit-ros-benchmarks-2.5.9/src/BenchmarkExecutor.cpp +@@ -39,12 +39,11 @@ + + #include <moveit/utils/moveit_error_code.h> + +-// TODO(henningkayser): Switch to boost/timer/progress_display.hpp with Boost 1.72 +-// boost/progress.hpp is deprecated and will be replaced by boost/timer/progress_display.hpp in Boost 1.72. ++// Use boost/timer/progress_display.hpp (available since Boost 1.72) ++// instead of the deprecated boost/progress.hpp + + #include <boost/regex.hpp> +-#include <boost/progress.hpp> +- ++#include <boost/timer/progress_display.hpp> + #include <boost/date_time/posix_time/posix_time.hpp> + #include <boost/math/constants/constants.hpp> + |