Add pluginResources to plugin build.

This commit is contained in:
Dmitry Trofimov
2012-10-09 18:32:26 +02:00
parent d94d4ff3fb
commit 070d16758b
+1
View File
@@ -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")