From 11ba501a56ecd33a862861c68dede658946e9831 Mon Sep 17 00:00:00 2001 From: Kefu Chai Date: Fri, 23 Apr 2021 19:16:37 +0800 Subject: [PATCH] common/options: dedup Option::services Signed-off-by: Kefu Chai --- src/common/options/build_options.cc | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/src/common/options/build_options.cc b/src/common/options/build_options.cc index ec3a1f9ecda89..323548d16fabc 100644 --- a/src/common/options/build_options.cc +++ b/src/common/options/build_options.cc @@ -3,6 +3,9 @@ #include "build_options.h" +#include +#include + std::vector