diff options
| author | Edgars Baduns <edgars.baduns@gmail.com> | 2023-09-29 13:29:29 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-29 14:29:29 +0200 |
| commit | ff0d198ef5b2c74aea2e346bfda3b52a957a1876 (patch) | |
| tree | edf6a3f34a05677ff13b965768d0ad8c4f66d845 | |
| parent | b3dbc8bd6dd920cc8da19f26447b78d94578e4fb (diff) | |
Build: Fixed tools only build (#29341)
(cherry picked from commit 592e01cf7a5d7b6f7ec63d30edc09dd9d4062b62)
| -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 71fa48710ce..41bd55fa916 100644 --- a/dep/CMakeLists.txt +++ b/dep/CMakeLists.txt @@ -22,6 +22,7 @@ if(SERVERS OR TOOLS) add_subdirectory(openssl) add_subdirectory(jemalloc) add_subdirectory(argon2) + add_subdirectory(short_alloc) endif() if(SERVERS) @@ -29,7 +30,6 @@ if(SERVERS) add_subdirectory(readline) add_subdirectory(gsoap) add_subdirectory(efsw) - add_subdirectory(short_alloc) endif() if(TOOLS) |