MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2025-12-15 02:59:33 +07:00
Code Issues Packages Projects Releases Wiki Activity

cleanup: support different disk drives

Browse Source 
GitOrigin-RevId: cd9c395c9293caa2af02066dbf5e6f0f5050825e
This commit is contained in:
Alexey Kudravtsev
2020-10-05 16:07:30 +03:00
committed by intellij-monorepo-bot
parent f3e91ad8fc
commit 98d2d88ae5
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
build/update.cmd
View File

@@ -27,7 +27,7 @@ IF NOT EXIST "%JAVA_HOME%\bin\java.exe" (
ECHO Updating "%WORK_IDEA_HOME%" from compiled classes at "%DEV_IDEA_HOME%"
CD "%DEV_IDEA_HOME%"
CD /D "%DEV_IDEA_HOME%"
SET ANT_HOME=%DEV_IDEA_HOME%\lib\ant
SET EXEC_ANT="%JAVA_HOME%\bin\java.exe" -Xmx512m -Dant.home="%ANT_HOME%" -classpath "%ANT_HOME%\lib\ant-launcher.jar" org.apache.tools.ant.launch.Launcher