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

Merge branch 'next' of https://github.com/gnss-sdr/gnss-sdr into next

This commit is contained in:
Carles Fernandez 2019-09-08 10:52:51 +02:00
commit 4628ac6dd1
No known key found for this signature in database
GPG Key ID: 4C583C52B0C3877D

View File

@ -87,6 +87,7 @@ option(ENABLE_ARMA_NO_DEBUG OFF)
if(ENABLE_PACKAGING)
set(ENABLE_GENERIC_ARCH ON)
set(ENABLE_ARMA_NO_DEBUG ON)
set(CMAKE_VERBOSE_MAKEFILE ON)
endif()
# Testing