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

PHP prebuilt stubs are not generated anymore on update.sh

Browse Source 
GitOrigin-RevId: 2852c0a63c99e5ecfb51f4c2e7da218f38ede586
This commit is contained in:
Vladimir Krivosheev
2019-11-30 08:07:58 +00:00
committed by intellij-monorepo-bot
parent 90bff45151
commit 17652e9d09
1 changed files with 0 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
build/scripts/idea_community.gant
-1
View File
@@ -32,7 +32,6 @@ target('update-from-sources': 'Update locally installed distribution from compil
options.buildStepsToSkip << BuildOptions.SVGICONS_PREBUILD_STEP
options.buildStepsToSkip << BuildOptions.SEARCHABLE_OPTIONS_INDEX_STEP
options.buildStepsToSkip << BuildOptions.SOURCES_ARCHIVE_STEP
options.buildStepsToSkip << BuildOptions.SVGICONS_PREBUILD_STEP
if (!SystemProperties.getBooleanProperty('intellij.build.local.plugins.repository', false)) {
options.buildStepsToSkip << BuildOptions.PROVIDED_MODULES_LIST_STEP
options.buildStepsToSkip << BuildOptions.NON_BUNDLED_PLUGINS_STEP