1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2025-01-28 18:04:51 +00:00

Safer reading environment

This commit is contained in:
Carles Fernandez 2018-10-04 19:37:11 +02:00
parent cc5fdf3907
commit 8062a26d38
No known key found for this signature in database
GPG Key ID: 4C583C52B0C3877D

View File

@ -622,7 +622,7 @@ if(NOT VOLK_GNSSSDR_FOUND)
if(CMAKE_COMPILER_IS_GNUCXX AND NOT WIN32)
set(STRIP_VOLK_GNSSSDR_PROFILE "-DENABLE_STRIP=ON -DCMAKE_VERBOSE_MAKEFILE=ON")
endif(CMAKE_COMPILER_IS_GNUCXX AND NOT WIN32)
set(READ_ENVIRO ${CMAKE_COMMAND} -E environment)
set(READ_ENVIRO echo CI_ >> forbidden.txt && ${CMAKE_COMMAND} -E environment >> input.txt && grep -v -F -f forbidden.txt input.txt)
endif(ENABLE_PACKAGING)
set(VOLK_GNSSSDR_BUILD_COMMAND "${CMAKE_MAKE_PROGRAM}")