From 81d25dd048e4e8bdb0568da4b907e30c93f59b96 Mon Sep 17 00:00:00 2001 From: Asher Date: Tue, 21 Jul 2020 11:31:27 -0500 Subject: [PATCH] Add missing bootstrap-node.js to final build Fixes #1884. --- ci/dev/vscode.patch | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/ci/dev/vscode.patch b/ci/dev/vscode.patch index 991ca7ce..05115823 100644 --- a/ci/dev/vscode.patch +++ b/ci/dev/vscode.patch @@ -144,10 +144,10 @@ index cb88d37ade..6b3253af0a 100644 const cp = require('child_process'); diff --git a/coder.js b/coder.js new file mode 100644 -index 0000000000..ce7d4f175f +index 0000000000..88b720ceee --- /dev/null +++ b/coder.js -@@ -0,0 +1,68 @@ +@@ -0,0 +1,69 @@ +// This must be ran from VS Code's root. +const gulp = require("gulp"); +const path = require("path"); @@ -176,6 +176,7 @@ index 0000000000..ce7d4f175f + "out-build/bootstrap.js", + "out-build/bootstrap-fork.js", + "out-build/bootstrap-amd.js", ++ 'out-build/bootstrap-node.js', + "out-build/paths.js", + 'out-build/vs/**/*.{svg,png,html,ttf}', + "!out-build/vs/code/browser/workbench/*.html",