From 4e4b29960073d9cc9a8371ccbcd632c13199069b Mon Sep 17 00:00:00 2001
From: Dmitry Trofimov <dmitry.trofimov@jetbrains.com>
Date: Tue, 17 Jun 2014 00:17:31 +0200
Subject: [PATCH] Fix plugin build.

---
 python/build/python_plugin_build.gant | 1 +
 1 file changed, 1 insertion(+)

diff --git a/python/build/python_plugin_build.gant b/python/build/python_plugin_build.gant
index dc37d14f4480..702ab301f863 100644
--- a/python/build/python_plugin_build.gant
+++ b/python/build/python_plugin_build.gant
@@ -95,6 +95,7 @@ target(name: "compile", description: "Compile module python") {
     dirset(dir: "${pluginHome}") {
       include(name: "resources")
       include(name: "src")
+      include(name: "gen")
       include(name: "pluginSrc")
       include(name: "pydevSrc")
       include(name: "openapi/src")