From c1a6b497fbf9d3273b04152eb4db3a82c4564335 Mon Sep 17 00:00:00 2001 From: John Spray Date: Mon, 10 Jul 2017 08:43:25 -0400 Subject: [PATCH] common: sync up options.cc with latest master Signed-off-by: John Spray --- src/common/options.cc | 18 +++++++++++++++--- 1 file changed, 15 insertions(+), 3 deletions(-) diff --git a/src/common/options.cc b/src/common/options.cc index 316fca1b57f1c..d0c5b2d36661b 100644 --- a/src/common/options.cc +++ b/src/common/options.cc @@ -490,6 +490,10 @@ const std::vector