From f777599baa9f7198c2dadcdfe5ccfc945b6ef31c Mon Sep 17 00:00:00 2001 From: John Spray Date: Wed, 12 Jul 2017 17:19:24 -0400 Subject: [PATCH] common: update options.cc for latest additions Signed-off-by: John Spray --- src/common/options.cc | 28 +++++++++++++++++++++------- 1 file changed, 21 insertions(+), 7 deletions(-) diff --git a/src/common/options.cc b/src/common/options.cc index c8c20908843c6..5255a66a8ed40 100644 --- a/src/common/options.cc +++ b/src/common/options.cc @@ -369,7 +369,6 @@ const std::vector