diff options
author | lpino <lpino@google.com> | 2017-08-10 16:25:54 +0200 |
---|---|---|
committer | Marcel Hlopko <hlopko@google.com> | 2017-08-11 12:55:58 +0200 |
commit | 4ed3db6517c7e13f46924fb832c0d65b70c95cde (patch) | |
tree | b8c37fff1de2fdaf7f89d958a891cfc05077449c /src/main/cpp/blaze_util.h | |
parent | db55b5a9f6d56535a909bd777b7f803a99d9dbd9 (diff) |
Polish blaze_util.cc
PiperOrigin-RevId: 164850909
Diffstat (limited to 'src/main/cpp/blaze_util.h')
-rw-r--r-- | src/main/cpp/blaze_util.h | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/src/main/cpp/blaze_util.h b/src/main/cpp/blaze_util.h index 7c85d82dbf..0df70e67df 100644 --- a/src/main/cpp/blaze_util.h +++ b/src/main/cpp/blaze_util.h @@ -57,12 +57,21 @@ bool GetNullaryOption(const char *arg, const char *key); const char* SearchUnaryOption(const std::vector<std::string>& args, const char* key); -// Searches for 'key' in 'args' using GetNullaryOption. Arguments found after -// '--' are omitted from the search. +// Searches for 'key' in 'args' using GetNullaryOption. +// Unlike SearchNullaryOptionEverywhere, arguments found after '--' are omitted +// from the search. // Returns true iff key is a flag in args. bool SearchNullaryOption(const std::vector<std::string>& args, const char* key); +// Searches for 'key' in 'args' using GetNullaryOption. +// Unlike SearchNullaryOption, arguments found after '--' are included in the +// search. +// Returns true iff key is a flag in args. +bool SearchNullaryOptionEverywhere(const std::vector<std::string>& args, + const char* key); + + // Enable messages mostly of interest to developers. bool VerboseLogging(); |