mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 06:59:44 +07:00
068b6d3d4a
this is useful when project home could not be detected from inside the project e.g. some projects sharing common community folder GitOrigin-RevId: bc3c7cb277f89429f7344f88cea9b8cace6c70e7
12 lines
445 B
Batchfile
Executable File
12 lines
445 B
Batchfile
Executable File
:<<"::CMDLITERAL"
|
|
@ECHO OFF
|
|
GOTO :CMDSCRIPT
|
|
::CMDLITERAL
|
|
|
|
set -eux
|
|
exec "$(cd "$(dirname "$0")"; pwd)/../platform/jps-bootstrap/jps-bootstrap.sh" "$@" "$(cd "$(dirname "$0")"; pwd)/.." intellij.idea.community.build OpenSourceCommunityUpdateFromSourcesBuildTarget
|
|
:CMDSCRIPT
|
|
|
|
call "%~dp0\..\platform\jps-bootstrap\jps-bootstrap.cmd" %* "%~dp0\.." intellij.idea.community.build OpenSourceCommunityUpdateFromSourcesBuildTarget
|
|
EXIT /B %ERRORLEVEL%
|