diff --git a/src/common/options.cc b/src/common/options.cc index e61e116577d..57dcde11b0b 100644 --- a/src/common/options.cc +++ b/src/common/options.cc @@ -5257,6 +5257,18 @@ static std::vector