make cpplint happy

src/algorithms/signal_source/adapters/dma_signal_source_fpga.cc

@@ -21,6 +21,7 @@
 #include "configuration_interface.h"
 #include "gnss_sdr_flags.h"
 #include "gnss_sdr_string_literals.h"
+#include <algorithm>  // for std::min
 #include <chrono>     // for std::chrono
 #include <fcntl.h>    // for open, O_WRONLY
 #include <fstream>    // for std::ifstream

src/algorithms/signal_source/adapters/max2771_evkit_signal_source_fpga.cc

@@ -28,7 +28,7 @@
 #include <cmath>      // for std::floor
 #include <exception>  // for std::exception
 #include <iostream>   // for std::cout
-
+#include <vector>     // for std::vector
 #if USE_GLOG_AND_GFLAGS
 #include <glog/logging.h>
 #else
@@ -291,7 +291,7 @@ std::vector<uint32_t> MAX2771EVKITSignalSourceFPGA::setup_regs(void)
         default:
             freq_sel = 0x604;
         }
-    //uint32_t freq_sel = (freq_ == GPS_L1_FREQ_HZ) ? 0x604 :
+
     register_values[4] =  // PLL integer division register
         (0x0 << 28) +     // reserved
         (freq_sel << 13) +

src/algorithms/signal_source/libs/fpga_buffer_monitor.cc

@@ -41,15 +41,6 @@
 #endif
 
 
-//Fpga_buffer_monitor::Fpga_buffer_monitor(const std::string &device_name,
-//    uint32_t num_freq_bands,
-//    bool dump,
-//    std::string dump_filename)
-//    : d_dump_filename(std::move(dump_filename)),
-//      d_num_freq_bands(num_freq_bands),
-//      d_max_buff_occ_freq_band_0(0),
-//      d_max_buff_occ_freq_band_1(0),
-//      d_dump(dump)
 Fpga_buffer_monitor::Fpga_buffer_monitor(
     uint32_t num_freq_bands,
     bool dump,

src/algorithms/signal_source/libs/fpga_switch.h

@@ -42,7 +42,7 @@ public:
     /*!
      * \brief Constructor
      */
-    explicit Fpga_Switch(void);
+    Fpga_Switch(void);
     /*!
      * \brief Destructor
      */