diff options
| author | Marcus Müller <mmueller@gnuradio.org> | 2021-06-17 01:42:28 +0200 |
|---|---|---|
| committer | Martin Braun <martin@gnuradio.org> | 2021-09-07 06:46:35 -0700 |
| commit | a2e6f3f6e34ba5b51179712a3f75f9d4c2ff1661 (patch) | |
| tree | 42052843a8e85fe704299efcc9f91ccf3e0dcc8a /gnuradio-runtime/lib/thread | |
| parent | 774d30d66afdab0c16d9239d84e5829187f791c4 (diff) | |
runtime: include boost/format where used
Signed-off-by: Marcus Müller <mmueller@gnuradio.org>
Diffstat (limited to 'gnuradio-runtime/lib/thread')
| -rw-r--r-- | gnuradio-runtime/lib/thread/thread_body_wrapper.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnuradio-runtime/lib/thread/thread_body_wrapper.cc b/gnuradio-runtime/lib/thread/thread_body_wrapper.cc index 4bf87c0943..905c93b1d6 100644 --- a/gnuradio-runtime/lib/thread/thread_body_wrapper.cc +++ b/gnuradio-runtime/lib/thread/thread_body_wrapper.cc @@ -14,6 +14,7 @@ #include <gnuradio/logger.h> #include <gnuradio/thread/thread_body_wrapper.h> +#include <boost/format.hpp> #ifdef HAVE_SIGNAL_H #include <csignal> |