From 0dd134bb067a4f1404cc79ffe28fc408614bbda0 Mon Sep 17 00:00:00 2001
From: Dmitry Jemerov <yole@jetbrains.com>
Date: Wed, 19 Oct 2011 16:03:15 +0200
Subject: [PATCH] add coverage plugin to Python plugin build classpath

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

diff --git a/python/build/python_plugin_build.gant b/python/build/python_plugin_build.gant
index acea3f706293..ee7a8ddecb25 100644
--- a/python/build/python_plugin_build.gant
+++ b/python/build/python_plugin_build.gant
@@ -65,6 +65,9 @@ target(name: "compile", description: "Compile module python") {
     fileset(dir: "${ideaPlugins}/yaml/lib") {
       include(name: "yaml.jar")
     }
+    fileset(dir: "${ideaPlugins}/coverage/lib") {
+      include(name: "coverage.jar")
+    }
   }
 
   ant.path(id: "sourcepath") {