mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
fix education edition build
This commit is contained in:
@@ -18,7 +18,7 @@ import org.jetbrains.jps.LayoutInfo
|
||||
|
||||
setProperty("home", getHome())
|
||||
includeTargets << new File("$home/community/build/scripts/utils.gant")
|
||||
includeTargets << new File("$home/community/build/scripts/libLicenses.gant")
|
||||
includeTargets << new File("$home/build/scripts/libLicenses.gant")
|
||||
includeTargets << new File("$home/build/scripts/ultimate_utils.gant")
|
||||
|
||||
requireProperty("buildNumber", requireProperty("build.number", snapshot))
|
||||
|
||||
Reference in New Issue
Block a user