1 files changed, 10 insertions, 0 deletions
diff --git a/src/main/cpp/blaze_util.h b/src/main/cpp/blaze_util.h
index 60a5a243f6..43d97c48d2 100644
--- a/src/main/cpp/blaze_util.h
+++ b/src/main/cpp/blaze_util.h
@@ -55,6 +55,16 @@ const char* GetUnaryOption(const char *arg,
 // Returns false otherwise.
 bool GetNullaryOption(const char *arg, const char *key);
 
+// Searches for 'key' in 'args' using GetUnaryOption.
+// Returns true iff key is a flag in args.
+const char* SearchUnaryOption(const std::vector<std::string>& args,
+                              const char* key);
+
+// Searches for 'key' in 'args' using GetNullaryOption.
+// Returns the value of the 'key' flag iff it occurs in args.
+bool SearchNullaryOption(const std::vector<std::string>& args,
+                         const char* key);
+
 // Enable messages mostly of interest to developers.
 bool VerboseLogging();