docker/ubuntu: Disable additional rocksdb built accessories.

2023-04-09 04:37:13 -07:00 · 2023-04-09 04:37:13 -07:00 · 1f35421cec
parent af783c8dfe
commit 1f35421cec
1 changed files with 2 additions and 0 deletions
--- a/docker/ubuntu/base/Dockerfile
+++ b/docker/ubuntu/base/Dockerfile
@ -73,7 +73,9 @@ ENV rocksdb_cmake="\
 -DWITH_JNI=0 \
 -DWITH_TESTS=0 \
 -DWITH_BENCHMARK_TOOLS=0 \
+-DWITH_TRACE_TOOLS=0 \
 -DWITH_CORE_TOOLS=0 \
+-DWITH_TOOLS=0 \
 -DWITH_GFLAGS=0 \
 -DWITH_LIBURING=0 \
 -DWITH_JEMALLOC=1 \