diff options
| author |  ccalvarin <ccalvarin@google.com> | 2018-06-28 11:54:37 -0700 |
|---|---|---|
| committer |  Copybara-Service <copybara-piper@google.com> | 2018-06-28 11:56:49 -0700 |
| commit | 358c5157508bf3a867da68c9523352edd5607e60 (patch) | |
| tree | 88f453a5d8fbee0d955fab5a7414267a0ecdfbeb /src/main/java/com/google/devtools/build/lib/runtime/CommonCommandOptions.java | |
| parent | a8926b7010f7bbbe6e1d9b558bac88b73be28250 (diff) | |
Remove --allow_undefined_configs
RELNOTES: --[no]allow_undefined_configs no longer exists, passing undefined configs is an error.
PiperOrigin-RevId: 202518987
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/runtime/CommonCommandOptions.java')
| -rw-r--r-- | src/main/java/com/google/devtools/build/lib/runtime/CommonCommandOptions.java | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/runtime/CommonCommandOptions.java b/src/main/java/com/google/devtools/build/lib/runtime/CommonCommandOptions.java index 923ebe6693..2a88c32e98 100644 --- a/src/main/java/com/google/devtools/build/lib/runtime/CommonCommandOptions.java +++ b/src/main/java/com/google/devtools/build/lib/runtime/CommonCommandOptions.java @@ -105,15 +105,6 @@ public class CommonCommandOptions extends OptionsBase { ) public boolean alwaysProfileSlowOperations; - @Option( - name = "allow_undefined_configs", - defaultValue = "false", - documentationCategory = OptionDocumentationCategory.UNCATEGORIZED, - effectTags = {OptionEffectTag.EAGERNESS_TO_EXIT}, - help = "Do not throw an error when the config is not defined." - ) - public boolean allowUndefinedConfigs; - /** Converter for UUID. Accepts values as specified by {@link UUID#fromString(String)}. */ public static class UUIDConverter implements Converter<UUID> { |