diff options
| author |  Googler <noreply@google.com> | 2017-05-31 18:09:32 +0200 |
|---|---|---|
| committer |  László Csomor <laszlocsomor@google.com> | 2017-06-01 14:06:03 +0200 |
| commit | 65ceda9c9f686bc27f7319817985a4df07b60f9d (patch) | |
| tree | 6b3ba5732580f92096fab7a13f40511e4ded9167 /src/main/java/com/google/devtools/build/lib/runtime/CommonCommandOptions.java | |
| parent | 16a107dca10c49d2365886df4a06f50ce2e4aeb1 (diff) | |
Add a flag --allow_undefined_configs, with default value true.
Setting this flag to false makes Bazel exit with an error on undefined configs. The default value is true, so this change has no impact unless users explicitly pass --noallow_undefined_configs.
This change supersedes an unmerged one, I'm taking the problem from fkp@.
Credit to him for the original change.
PiperOrigin-RevId: 157593338
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 | 8 |
1 files changed, 8 insertions, 0 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 76d97151e2..97bec45979 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 @@ -206,6 +206,14 @@ public class CommonCommandOptions extends OptionsBase { public boolean alwaysProfileSlowOperations; @Option( + name = "allow_undefined_configs", + defaultValue = "true", + category = "flags", + help = "Do not throw an error when the config is not defined." + ) + public boolean allowUndefinedConfigs; + + @Option( name = "profile", defaultValue = "null", category = "misc", |