diff options
author | ccalvarin <ccalvarin@google.com> | 2017-09-21 02:33:41 +0200 |
---|---|---|
committer | László Csomor <laszlocsomor@google.com> | 2017-09-21 11:04:49 +0200 |
commit | 125e88d693f04df7f9039906dc7bb03245fb61f7 (patch) | |
tree | 2cf6abda98dcbdac1897bafd67542d06f332cb49 /src/main/java/com/google/devtools/common/options/Option.java | |
parent | 1ad38ea0dd4eb10cad92daf0fb2710ff118147c9 (diff) |
Deprecate wrapperOptions.
In order to discourage new uses (there shouldn't be any, but just in case), make it illegal to set wrapperOption=true for non deprecated options.
RELNOTES: None.
PiperOrigin-RevId: 169477990
Diffstat (limited to 'src/main/java/com/google/devtools/common/options/Option.java')
-rw-r--r-- | src/main/java/com/google/devtools/common/options/Option.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main/java/com/google/devtools/common/options/Option.java b/src/main/java/com/google/devtools/common/options/Option.java index 4a65f69abc..92436fd5f6 100644 --- a/src/main/java/com/google/devtools/common/options/Option.java +++ b/src/main/java/com/google/devtools/common/options/Option.java @@ -197,5 +197,6 @@ public @interface Option { * expansion flags to other flags, or as implicit requirements to other flags. Use the inner flags * instead. */ + @Deprecated boolean wrapperOption() default false; } |