From 29410df23d4783de9d90a6d8c24cf7c9c5aacc80 Mon Sep 17 00:00:00 2001
From: Brad King <brad.king@kitware.com>
Date: Thu, 31 Jul 2014 14:02:03 -0400
Subject: [PATCH] cmIDEOptions: Add an AppendFlag method to update multi-valued
 options

---
 Source/cmIDEOptions.cxx | 7 +++++++
 Source/cmIDEOptions.h   | 1 +
 2 files changed, 8 insertions(+)

diff --git a/Source/cmIDEOptions.cxx b/Source/cmIDEOptions.cxx
index dfbece796..72bd593fc 100644
--- a/Source/cmIDEOptions.cxx
+++ b/Source/cmIDEOptions.cxx
@@ -195,6 +195,13 @@ void cmIDEOptions::AddFlag(const char* flag,
   this->FlagMap[flag] = value;
 }
 
+//----------------------------------------------------------------------------
+void cmIDEOptions::AppendFlag(std::string const& flag,
+                              std::string const& value)
+{
+  this->FlagMap[flag].push_back(value);
+}
+
 //----------------------------------------------------------------------------
 void cmIDEOptions::RemoveFlag(const char* flag)
 {
diff --git a/Source/cmIDEOptions.h b/Source/cmIDEOptions.h
index 313c00345..9b60f8000 100644
--- a/Source/cmIDEOptions.h
+++ b/Source/cmIDEOptions.h
@@ -30,6 +30,7 @@ public:
   void AddDefines(const std::vector<std::string> &defines);
   void AddFlag(const char* flag, const char* value);
   void AddFlag(const char* flag, std::vector<std::string> const& value);
+  void AppendFlag(std::string const& flag, std::string const& value);
   void RemoveFlag(const char* flag);
   const char* GetFlag(const char* flag);