diff options
author | Alex Humesky <ahumesky@google.com> | 2015-10-21 02:05:50 +0000 |
---|---|---|
committer | Han-Wen Nienhuys <hanwen@google.com> | 2015-10-21 14:39:15 +0000 |
commit | 5f7e63e72a8843660e9e79d2afe994abee405bb1 (patch) | |
tree | a488d389c4702d5292bc7f3432f31b0a02cd90ae /src/test/java/com/google/devtools/build/lib/shell | |
parent | 4e69824ba0d0b56e5426ec89ab3bd9e05f761cb5 (diff) |
Adds an oldName attribute and a wrapperOption attribute to the @Option annotation for the options parser. oldName indicates the old name for the option, and the option will be parsed under both name and oldName. wrapperOption indicates that the option is a wrapper for other options. For example, in "--foo=--bar=baz", --foo wraps --bar=baz. With wrapperOption set to true for --foo, the options parser will "unwrap" --bar=baz and parse them as top-level flags.
--
MOS_MIGRATED_REVID=105924412
Diffstat (limited to 'src/test/java/com/google/devtools/build/lib/shell')
0 files changed, 0 insertions, 0 deletions