diff options
| author |  philwo <philwo@google.com> | 2017-06-21 15:25:10 +0200 |
|---|---|---|
| committer | Philipp Wollermann <philwo@google.com> | 2017-06-22 11:49:00 +0200 |
| commit | 9d9ac15b69530edd83c1b95f98a70efa8f98a27a (patch) | |
| tree | 92e6b1aa7acfdcab924a0bcb4da70cfe289654f5 /src/main/java/com/google/devtools/build/lib/exec/local/LocalExecutionOptions.java | |
| parent | 7e9dcfa501fb941cb9a0e42a41d954b3b34fa7a7 (diff) | |
Use getopt to parse process-wrapper's command-line.
This will allow us to add new and optional flags like selecting a strategy used to spawn / wait for the child process.
No one except Bazel should be calling "process-wrapper" and I couldn't find any references, so this breaking change should be fine.
PiperOrigin-RevId: 159685867
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/exec/local/LocalExecutionOptions.java')
| -rw-r--r-- | src/main/java/com/google/devtools/build/lib/exec/local/LocalExecutionOptions.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/exec/local/LocalExecutionOptions.java b/src/main/java/com/google/devtools/build/lib/exec/local/LocalExecutionOptions.java index 14fe8b1fdc..565631e24f 100644 --- a/src/main/java/com/google/devtools/build/lib/exec/local/LocalExecutionOptions.java +++ b/src/main/java/com/google/devtools/build/lib/exec/local/LocalExecutionOptions.java @@ -33,7 +33,7 @@ public class LocalExecutionOptions extends OptionsBase { "Time to wait between terminating a local process due to timeout and forcefully " + "shutting it down." ) - public double localSigkillGraceSeconds; + public int localSigkillGraceSeconds; @Option( name = "allowed_local_actions_regex", |