mirror of
https://github.com/gnss-sdr/gnss-sdr
synced 2025-01-14 19:25:47 +00:00
Update Armadillo branch
This commit is contained in:
parent
0606aa81f2
commit
1e9ed69ce2
@ -901,7 +901,7 @@ if(NOT ARMADILLO_FOUND OR ENABLE_OWN_ARMADILLO)
|
||||
message(STATUS " Armadillo has not been found.")
|
||||
message(STATUS " Armadillo will be downloaded and built automatically")
|
||||
message(STATUS " when doing 'make'. ")
|
||||
set(armadillo_BRANCH 7.800.x)
|
||||
set(armadillo_BRANCH 7.900.x)
|
||||
set(armadillo_RELEASE ${armadillo_BRANCH})
|
||||
|
||||
ExternalProject_Add(
|
||||
|
Loading…
Reference in New Issue
Block a user