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/controlport | |
| parent | 774d30d66afdab0c16d9239d84e5829187f791c4 (diff) | |
runtime: include boost/format where used
Signed-off-by: Marcus Müller <mmueller@gnuradio.org>
Diffstat (limited to 'gnuradio-runtime/lib/controlport')
| -rw-r--r-- | gnuradio-runtime/lib/controlport/thrift/rpcserver_booter_thrift.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnuradio-runtime/lib/controlport/thrift/rpcserver_booter_thrift.cc b/gnuradio-runtime/lib/controlport/thrift/rpcserver_booter_thrift.cc index 4102191a3d..66a0835f37 100644 --- a/gnuradio-runtime/lib/controlport/thrift/rpcserver_booter_thrift.cc +++ b/gnuradio-runtime/lib/controlport/thrift/rpcserver_booter_thrift.cc @@ -10,6 +10,7 @@ #include <gnuradio/rpcserver_booter_thrift.h> #include <gnuradio/rpcserver_thrift.h> +#include <boost/format.hpp> #include <boost/asio/ip/host_name.hpp> |