mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-28 04:37:32 +07:00
Leonid Shalupovandintellij-monorepo-bot
749b6be61f
GitOrigin-RevId: e5e5d3dbd989bbdc23c32624e34329f9439636e4
12 lines
376 B
Batchfile
Executable File
12 lines
376 B
Batchfile
Executable File
:<<"::CMDLITERAL"
|
|
@ECHO OFF
|
|
GOTO :CMDSCRIPT
|
|
::CMDLITERAL
|
|
|
|
set -eux
|
|
exec "$(cd "$(dirname "$0")"; pwd)/../platform/jps-bootstrap/jps-bootstrap.sh" "$@" intellij.pycharm.community.build PythonCommunityPluginBuildTarget
|
|
:CMDSCRIPT
|
|
|
|
call "%~dp0\..\platform\jps-bootstrap\jps-bootstrap.cmd" %* intellij.pycharm.community.build PythonCommunityPluginBuildTarget
|
|
EXIT /B %ERRORLEVEL%
|