MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

force building plugin with JDK 1.5

Browse Source
This commit is contained in:
Dmitry Jemerov
2009-06-11 19:54:36 +04:00
parent ad30a83110
commit 484c5a292b
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/build/build-plugin-bootstrap.xml
+1 -1
View File
@@ -20,7 +20,7 @@
</target>
<target name="main" depends="clean,unzip">
<java failonerror="true" classname="org.apache.tools.ant.Main" fork="true">
<java failonerror="true" classname="org.apache.tools.ant.Main" fork="true" jvm="${jdk15.home}/bin/java">
<jvmarg line="-Xms64m -Xmx512m"/>
<jvmarg line="-Dbuild.number=${build.number}"/>