mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +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
13 lines
385 B
Batchfile
Executable File
13 lines
385 B
Batchfile
Executable File
:<<"::CMDLITERAL"
|
|
@ECHO OFF
|
|
GOTO :CMDSCRIPT
|
|
::CMDLITERAL
|
|
|
|
set -eux
|
|
root="$(cd "$(dirname "$0")"; pwd)"
|
|
exec "$root/platform/jps-bootstrap/jps-bootstrap.sh" "$@" "$root" intellij.idea.community.build CommunityRunTestsBuildTarget
|
|
:CMDSCRIPT
|
|
|
|
call "%~dp0\platform\jps-bootstrap\jps-bootstrap.cmd" %* "%~dp0" intellij.idea.community.build CommunityRunTestsBuildTarget
|
|
EXIT /B %ERRORLEVEL%
|