mirror of
https://github.com/gnss-sdr/gnss-sdr
synced 2025-02-07 14:40:12 +00:00
Fix target name
This commit is contained in:
parent
68b875681d
commit
5004fc386d
@ -60,7 +60,7 @@ if(Boost_FOUND)
|
|||||||
endif()
|
endif()
|
||||||
|
|
||||||
if("${GNSSTK_VERSION}" VERSION_LESS 3.0.1)
|
if("${GNSSTK_VERSION}" VERSION_LESS 3.0.1)
|
||||||
set_property(TARGET obsdiff PROPERTY CXX_STANDARD 14) # Required by GPSTk v3.0.0
|
set_property(TARGET rinex2assist PROPERTY CXX_STANDARD 14) # Required by GPSTk v3.0.0
|
||||||
endif()
|
endif()
|
||||||
|
|
||||||
# Do not show warnings raised by GPSTk v3.0.0
|
# Do not show warnings raised by GPSTk v3.0.0
|
||||||
|
Loading…
x
Reference in New Issue
Block a user