diff options
Diffstat (limited to 'editors/vscode/files/extra-patch-build_gulpfile.extensions.js')
| -rw-r--r-- | editors/vscode/files/extra-patch-build_gulpfile.extensions.js | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/editors/vscode/files/extra-patch-build_gulpfile.extensions.js b/editors/vscode/files/extra-patch-build_gulpfile.extensions.js new file mode 100644 index 000000000000..63202f5c29c8 --- /dev/null +++ b/editors/vscode/files/extra-patch-build_gulpfile.extensions.js @@ -0,0 +1,11 @@ +--- build/gulpfile.extensions.js.orig 2019-12-10 21:16:00 UTC ++++ build/gulpfile.extensions.js +@@ -162,7 +162,7 @@ const cleanExtensionsBuildTask = task.define('clean-ex + const compileExtensionsBuildTask = task.define('compile-extensions-build', task.series( + cleanExtensionsBuildTask, + task.define('bundle-extensions-build', () => ext.packageLocalExtensionsStream().pipe(gulp.dest('.build'))), +- task.define('bundle-marketplace-extensions-build', () => ext.packageMarketplaceExtensionsStream().pipe(gulp.dest('.build'))), ++// task.define('bundle-marketplace-extensions-build', () => ext.packageMarketplaceExtensionsStream().pipe(gulp.dest('.build'))), + )); + + gulp.task(compileExtensionsBuildTask); |