1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2024-12-14 12:10:34 +00:00

Merge branch 'next' into release0016

This commit is contained in:
Carles Fernandez 2022-02-13 21:18:54 +01:00
commit cb0167fc39
No known key found for this signature in database
GPG Key ID: 4C583C52B0C3877D

View File

@ -78,7 +78,7 @@ else()
add_library(tracking_libs ${TRACKING_LIB_SOURCES} ${TRACKING_LIB_HEADERS})
endif()
target_link_libraries(tracking_libs
target_link_libraries(tracking_libs
PUBLIC
Armadillo::armadillo
Boost::headers