From 5ad8a2f319c15bc16da975e0066429ca5eac5b6a Mon Sep 17 00:00:00 2001 From: Dmitry Jemerov Date: Tue, 12 Jan 2010 15:27:01 +0300 Subject: [PATCH] one more missing piece --- python/build/pycharm_build.gant | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/python/build/pycharm_build.gant b/python/build/pycharm_build.gant index da09b4aaf0a4..2fed6f9744e1 100644 --- a/python/build/pycharm_build.gant +++ b/python/build/pycharm_build.gant @@ -9,7 +9,8 @@ requireProperty("buildNumber", requireProperty("build.number", "94.SNAPSHOT")) setProperty("ch", "$home/community") setProperty("dryRun", false) - +setProperty("jdk16", guessJdk()) + setProperty("pluginFilter", [ "htmltools", "JavaScriptLanguage", @@ -296,7 +297,7 @@ def executeExternalAnt(Map args, String file) { include (name: "*.jar") } - fileset (file: "$jdk15/lib/tools.jar") + fileset (file: "$jdk16/lib/tools.jar") fileset (file: "$ch/lib/oromatcher.jar") }