mirror of
https://github.com/gnss-sdr/gnss-sdr
synced 2024-12-13 03:30:33 +00:00
Fixing bug in md5
This commit is contained in:
parent
9d4a224ce0
commit
8c668f7bc2
@ -721,7 +721,7 @@ if(NOT ARMADILLO_FOUND)
|
||||
message(STATUS " when doing 'make'. ")
|
||||
|
||||
set(armadillo_RELEASE 5.400.3)
|
||||
set(armadillo_MD5 "397733eb2f305b50f28ead3350d975bdc")
|
||||
set(armadillo_MD5 "397733eb2f305b50f28ead3350d975bd")
|
||||
|
||||
ExternalProject_Add(
|
||||
armadillo-${armadillo_RELEASE}
|
||||
|
Loading…
Reference in New Issue
Block a user