# HG changeset patch
# User jlahoda
# Date 1447956183 -3600
# Node ID 6d7a40b2a54b24acf4414be72785dc4125af922f
# Parent  45d04023e6893a8206a6589185558be49f221a77
8143334: @ignore langtools/test/jdk/jshell/ToolBasicTest.java
Reviewed-by: ksrini

diff -r 45d04023e689 -r 6d7a40b2a54b langtools/test/jdk/jshell/ToolBasicTest.java
--- a/langtools/test/jdk/jshell/ToolBasicTest.java	Thu Nov 19 16:43:11 2015 +0000
+++ b/langtools/test/jdk/jshell/ToolBasicTest.java	Thu Nov 19 19:03:03 2015 +0100
@@ -24,6 +24,7 @@
 /*
  * @test
  * @summary Tests for Basic tests for REPL tool
+ * @ignore 8139873
  * @library /tools/lib
  * @build KullaTesting TestingInputStream ToolBox Compiler
  * @run testng ToolBasicTest