From 17652e9d09b850abf60ef4f41635eaa3bd79a8d4 Mon Sep 17 00:00:00 2001 From: Vladimir Krivosheev Date: Sat, 30 Nov 2019 08:33:41 +0100 Subject: [PATCH] PHP prebuilt stubs are not generated anymore on `update.sh` GitOrigin-RevId: 2852c0a63c99e5ecfb51f4c2e7da218f38ede586 --- build/scripts/idea_community.gant | 1 - 1 file changed, 1 deletion(-) diff --git a/build/scripts/idea_community.gant b/build/scripts/idea_community.gant index fb5eb0f2c8f8..8eba72d5f4ec 100644 --- a/build/scripts/idea_community.gant +++ b/build/scripts/idea_community.gant @@ -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