From 7f90f7b9c1522f70b8a1a2da4d7f0e1b7bf6a555 Mon Sep 17 00:00:00 2001 From: Udi Date: Wed, 23 Nov 2022 14:49:39 +0200 Subject: [PATCH] Fix minor compilation issue introduced by #220 --- tools/db_bench_tool.cc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/db_bench_tool.cc b/tools/db_bench_tool.cc index af8ac78424..6b8da4f66c 100644 --- a/tools/db_bench_tool.cc +++ b/tools/db_bench_tool.cc @@ -2768,7 +2768,8 @@ class Benchmark { fprintf(stdout, "------------------------------------------------\n"); } - void PrintWarnings(bool first_group, const char* compression) { + void PrintWarnings([[maybe_unused]] bool first_group, + const char* compression) { #if defined(__GNUC__) && !defined(__OPTIMIZE__) if (first_group) { fprintf(