From 0f04dab0b7807f6a4d06278f30ca737a4304ff82 Mon Sep 17 00:00:00 2001 From: John Spray Date: Wed, 12 Jul 2017 19:22:25 -0400 Subject: [PATCH] common/options: separate "service" from "tags" Signed-off-by: John Spray --- src/common/options.cc | 65 ++++++++++++++++++++++++++++--------------- src/common/options.h | 32 +++++++++++++++++++-- 2 files changed, 73 insertions(+), 24 deletions(-) diff --git a/src/common/options.cc b/src/common/options.cc index 5255a66a8ed40..a930f362cd3ef 100644 --- a/src/common/options.cc +++ b/src/common/options.cc @@ -55,6 +55,12 @@ void Option::dump(Formatter *f) const } f->close_section(); + f->open_array_section("services"); + for (const auto s : services) { + f->dump_string("service", s); + } + f->close_section(); + f->open_array_section("see_also"); for (const auto sa : see_also) { f->dump_string("see_also", sa); @@ -82,33 +88,41 @@ const std::vector