From 5b526fc4d07c1ff268fe930683440166e7a8efc6 Mon Sep 17 00:00:00 2001
From: Dmitry Trofimov <dmitry.trofimov@jetbrains.com>
Date: Mon, 11 Nov 2013 14:06:47 +0100
Subject: [PATCH] Add pty libs to pycharm community build.

---
 python/build/pycharm_community_build.gant | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/python/build/pycharm_community_build.gant b/python/build/pycharm_community_build.gant
index 071e31b7fb5f..4701545f9992 100644
--- a/python/build/pycharm_community_build.gant
+++ b/python/build/pycharm_community_build.gant
@@ -216,6 +216,12 @@ private layoutFull(Map args, String target, Set usedJars) {
         module("util-rt")
       }
 
+      dir("libpty") {
+        fileset(dir: "$home/community/lib/libpty") {
+          exclude(name: "*.txt")
+        }
+      }
+
       jar("openapi.jar") {
         openapiModules.each { module it }
       }