diff --git a/Source/cmIDEOptions.cxx b/Source/cmIDEOptions.cxx
index e9980cf01..0eb903d84 100644
--- a/Source/cmIDEOptions.cxx
+++ b/Source/cmIDEOptions.cxx
@@ -216,6 +216,12 @@ void cmIDEOptions::RemoveFlag(const char* flag)
   this->FlagMap.erase(flag);
 }
 
+//----------------------------------------------------------------------------
+bool cmIDEOptions::HasFlag(std::string const& flag) const
+{
+  return this->FlagMap.find(flag) != this->FlagMap.end();
+}
+
 //----------------------------------------------------------------------------
 const char* cmIDEOptions::GetFlag(const char* flag)
 {
diff --git a/Source/cmIDEOptions.h b/Source/cmIDEOptions.h
index 2bedbad98..73860164d 100644
--- a/Source/cmIDEOptions.h
+++ b/Source/cmIDEOptions.h
@@ -34,6 +34,7 @@ public:
   void AppendFlag(std::string const& flag,
                   std::vector<std::string> const& value);
   void RemoveFlag(const char* flag);
+  bool HasFlag(std::string const& flag) const;
   const char* GetFlag(const char* flag);
 
 protected: