1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2025-11-07 18:54:06 +00:00

Make build Reproducible

This commit is contained in:
Carles Fernandez
2019-08-03 20:31:53 +02:00
parent 5ced9d4322
commit 2e93dbe8dc
2 changed files with 5 additions and 7 deletions

View File

@@ -163,6 +163,9 @@ set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} ${MY_CXX_FLAGS} -Wall")
set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -Wall")
option(ENABLE_STRIP "Create a stripped volk_gnsssdr_profile binary (without shared libraries)" OFF)
if(ENABLE_STRIP)
set(CMAKE_VERBOSE_MAKEFILE ON)
endif()
include(VolkBuildTypes)
# select the release build type by default to get optimization flags
@@ -181,7 +184,6 @@ include(VolkVersion) # setup version info
########################################################################
# Environment setup
########################################################################