diff options
author | Damien Martin-Guillerez <dmarting@google.com> | 2017-01-19 16:26:29 +0000 |
---|---|---|
committer | Vladimir Moskva <vladmos@google.com> | 2017-01-19 18:03:26 +0000 |
commit | 5b066c32d8841f203abd3413a982e23045efc12c (patch) | |
tree | d26e963df0f788ce7657c488ca3b9a6240cac4a2 | |
parent | 1ad08bac62d003beda81b165a4e8aa8828621e47 (diff) |
Description redacted.
--
PiperOrigin-RevId: 144964816
MOS_MIGRATED_REVID=144964816
-rw-r--r-- | src/test/shell/integration/BUILD | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/test/shell/integration/BUILD b/src/test/shell/integration/BUILD index 4571d032b1..6f1bb7f34b 100644 --- a/src/test/shell/integration/BUILD +++ b/src/test/shell/integration/BUILD @@ -241,6 +241,8 @@ sh_test( ":test-deps", "//src/test/java/com/google/devtools/build/lib:ExampleWorker_deploy.jar", ], + # TODO(b/34450149): remove when no longer flaky + flaky = 1, shard_count = 3, tags = ["jdk8"], ) |