take idea.properties from correct place

2026-09-27 10:03:11 +07:00 · 2010-04-01 15:47:42 +04:00
parent 720f4c47df
commit 2fb541b0f8
1 changed files with 7 additions and 1 deletions
@@ -380,7 +380,13 @@ def layoutFull(String target, Set usedJars) {
    layouts.layoutPlugins()

    dir("bin") {
-      fileset(dir: "$home/community/bin") { include(name: "*.*") }
+      fileset(dir: "$home/community/bin") {
+        include(name: "*.*")
+        exclude(name: "idea.properties")
+      }
+      fileset(dir: "$home/python/build") {
+        include(name: "idea.properties")
+      }
    }
  }
 }