diff options
author | Giacomo Pozzoni <giacomopoz@gmail.com> | 2019-11-16 16:25:54 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-11-16 16:25:54 +0100 |
commit | c152e0f4158ca159b9617461ac6c254ff4868d2e (patch) | |
tree | ea0b08e8d170c333eefdee27a2fdf903ca32f028 | |
parent | ca7566a6c7f3d7dc544f21fc63a8a712ce9daaf0 (diff) |
Core/Build: Fix tools-only build
-rw-r--r-- | dep/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dep/CMakeLists.txt b/dep/CMakeLists.txt index ce75874d8d9..5371b4e640a 100644 --- a/dep/CMakeLists.txt +++ b/dep/CMakeLists.txt @@ -22,6 +22,7 @@ if (SERVERS OR TOOLS) add_subdirectory(valgrind) add_subdirectory(openssl) add_subdirectory(jemalloc) + add_subdirectory(argon2) endif() if (SERVERS) @@ -29,7 +30,6 @@ if (SERVERS) add_subdirectory(readline) add_subdirectory(gsoap) add_subdirectory(efsw) - add_subdirectory(argon2) endif() if (TOOLS) |