From 070d16758bfa992bba445cb43d6108829a892c09 Mon Sep 17 00:00:00 2001 From: Dmitry Trofimov Date: Tue, 9 Oct 2012 18:32:26 +0200 Subject: [PATCH] Add pluginResources to 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 68250b102179..e2acaccb4afd 100644 --- a/python/build/python_plugin_build.gant +++ b/python/build/python_plugin_build.gant @@ -77,6 +77,7 @@ target(name: "compile", description: "Compile module python") { include(name: "pydevSrc") include(name: "openapi/src") include(name: "psi-api/src") + include(name: "pluginResources") } dirset(dir: "${pluginHome}/../ultimate/ultimate-verifier") { include(name: "src")