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/vmcircbuf_prefs.cc | |
| parent | 774d30d66afdab0c16d9239d84e5829187f791c4 (diff) | |
runtime: include boost/format where used
Signed-off-by: Marcus Müller <mmueller@gnuradio.org>
Diffstat (limited to 'gnuradio-runtime/lib/vmcircbuf_prefs.cc')
| -rw-r--r-- | gnuradio-runtime/lib/vmcircbuf_prefs.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnuradio-runtime/lib/vmcircbuf_prefs.cc b/gnuradio-runtime/lib/vmcircbuf_prefs.cc index 80be2f5939..ad0416248e 100644 --- a/gnuradio-runtime/lib/vmcircbuf_prefs.cc +++ b/gnuradio-runtime/lib/vmcircbuf_prefs.cc @@ -18,6 +18,7 @@ #include <sys/stat.h> #include <sys/types.h> #include <unistd.h> +#include <boost/format.hpp> #include <cstdio> #include <cstdlib> #include <cstring> |