commit 36a0001f7455fd80981bd8fe1c9c8501bfcdfcd8
author David Chen <dzc@google.com> Fri Feb 05 23:20:47 2016 +0000
committer David Chen <dzc@google.com> Sun Feb 07 11:33:30 2016 +0000
tree 2b525288ffc8a40c5076d5b931c1904b2acd665a
parent 5e95a46074fa011461f58cb04521e4b7c2a5f3d5

Mark //src/test/java/com/google/devtools/build/lib:shell_test as flaky.

Issue #248

--
MOS_MIGRATED_REVID=113990796

src/test/java/com/google/devtools/build/lib/BUILD

diff --git a/src/test/java/com/google/devtools/build/lib/BUILD b/src/test/java/com/google/devtools/build/lib/BUILD
index e6b6b93..446705b 100644
--- a/src/test/java/com/google/devtools/build/lib/BUILD
+++ b/src/test/java/com/google/devtools/build/lib/BUILD
@@ -660,6 +660,7 @@
     data = [
         ":shell/killmyself",
     ],
+    flaky = True,
     tags = ["shell"],
     test_class = "com.google.devtools.build.lib.AllTests",
     deps = [