diff options
author | Lukacs Berki <lberki@google.com> | 2016-04-19 15:52:55 +0000 |
---|---|---|
committer | Damien Martin-Guillerez <dmarting@google.com> | 2016-04-20 11:16:39 +0000 |
commit | ce1445f94cffc28efba79449eb853522e1b32b22 (patch) | |
tree | afa1c6cc0a637d9297695f547260f6b21ff4cb52 /src/main/java/com/google/devtools/build/lib/runtime/CommonCommandOptions.java | |
parent | cf215d38ab76a97ef691bcca7df4541a56bfa6c7 (diff) |
Block when another command is running on the server and not on the client when in gRPC mode.
--
MOS_MIGRATED_REVID=120233121
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 c23cbf2d72..68df6a7258 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 @@ -247,4 +247,12 @@ public class CommonCommandOptions extends OptionsBase { category = "hidden", help = "Enable processing of +<file> parameters.") public boolean allowProjectFiles; + + @Option(name = "block_for_lock", + defaultValue = "true", + category = "hidden", + help = "If set (the default), a command will block if there is another one running. If " + + "unset, these commands will immediately return with an error.") + public boolean blockForLock; + } |