mirror of
https://github.com/gnss-sdr/gnss-sdr
synced 2025-01-18 21:23:02 +00:00
Do not stop volk_gnsssdr building with unknown build type, just set it to None
This commit is contained in:
parent
4e0391f494
commit
191e26ee17
@ -51,8 +51,10 @@ function(VOLK_CHECK_BUILD_TYPE settype)
|
||||
return() # found it; exit cleanly
|
||||
endif()
|
||||
endforeach()
|
||||
# Build type not found; error out
|
||||
message(FATAL_ERROR "Build type '${settype}' not valid, must be one of: ${AVAIL_BUILDTYPES}")
|
||||
# Build type not found; warn out at set it to None
|
||||
message(STATUS "Warning: Build type '${settype}' not valid, must be one of: ${AVAIL_BUILDTYPES}.")
|
||||
message(STATUS "Setting the build type to 'None'")
|
||||
set(CMAKE_BUILD_TYPE "None" PARENT_SCOPE)
|
||||
endfunction()
|
||||
|
||||
########################################################################
|
||||
|
Loading…
Reference in New Issue
Block a user