From c5685c81433faef3bf42f91de165dc20bf409f65 Mon Sep 17 00:00:00 2001
From: Robert Field <rfield@openjdk.org>
Date: Tue, 20 Dec 2016 13:46:44 -0800
Subject: [PATCH] 8170194: jshell tool (jdk repo): launch tool from
 JShellToolProvider

Reviewed-by: jjg
---
 jdk/make/launcher/Launcher-jdk.jshell.gmk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jdk/make/launcher/Launcher-jdk.jshell.gmk b/jdk/make/launcher/Launcher-jdk.jshell.gmk
index e80876f645c..349eb88e9eb 100644
--- a/jdk/make/launcher/Launcher-jdk.jshell.gmk
+++ b/jdk/make/launcher/Launcher-jdk.jshell.gmk
@@ -26,6 +26,6 @@
 include LauncherCommon.gmk
 
 $(eval $(call SetupBuildLauncher, jshell, \
-    MAIN_CLASS := jdk.internal.jshell.tool.JShellTool, \
+    MAIN_CLASS := jdk.internal.jshell.tool.JShellToolProvider, \
     CFLAGS := -DEXPAND_CLASSPATH_WILDCARDS, \
 ))