diff --git a/src/common/options.cc b/src/common/options.cc index a6b0be73384dd..be3d63fa11353 100644 --- a/src/common/options.cc +++ b/src/common/options.cc @@ -7035,6 +7035,22 @@ static std::vector