diff options
Diffstat (limited to 'editors/vscode/files/patch-build_gulpfile.extensions.js')
| -rw-r--r-- | editors/vscode/files/patch-build_gulpfile.extensions.js | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/editors/vscode/files/patch-build_gulpfile.extensions.js b/editors/vscode/files/patch-build_gulpfile.extensions.js index 78da826b0bb5..0f20e3f2c4af 100644 --- a/editors/vscode/files/patch-build_gulpfile.extensions.js +++ b/editors/vscode/files/patch-build_gulpfile.extensions.js @@ -1,6 +1,6 @@ ---- build/gulpfile.extensions.js.orig 2020-08-25 09:40:01 UTC +--- build/gulpfile.extensions.js.orig 2021-02-03 15:33:23 UTC +++ build/gulpfile.extensions.js -@@ -166,7 +166,7 @@ const cleanExtensionsBuildTask = task.define('clean-ex +@@ -205,7 +205,7 @@ const cleanExtensionsBuildTask = task.define('clean-ex const compileExtensionsBuildTask = task.define('compile-extensions-build', task.series( cleanExtensionsBuildTask, task.define('bundle-extensions-build', () => ext.packageLocalExtensionsStream(false).pipe(gulp.dest('.build'))), @@ -9,7 +9,7 @@ )); gulp.task(compileExtensionsBuildTask); -@@ -244,5 +244,3 @@ async function buildWebExtensions(isWatch) { +@@ -286,5 +286,3 @@ async function buildWebExtensions(isWatch) { } }); } |