diff --git a/docker/ubuntu/base/Dockerfile b/docker/ubuntu/base/Dockerfile index b77823e8b..035075431 100644 --- 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 \