1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2024-10-01 00:10:50 +00:00

Be more specific on required boost headers

This commit is contained in:
Carles Fernandez 2018-02-25 01:48:21 +01:00
parent 4561bf9f9c
commit 9e37e51447

View File

@ -44,7 +44,9 @@
#include <memory>
#include <boost/exception/diagnostic_information.hpp>
#include <boost/exception_ptr.hpp>
#include <boost/filesystem.hpp>
#include <boost/filesystem/operations.hpp> // for create_directories, exists
#include <boost/filesystem/path.hpp> // for path, operator<<
#include <boost/filesystem/path_traits.hpp> // for filesystem
#include <glog/logging.h>
#include "control_thread.h"
#include "concurrent_queue.h"