timamsk/vscodium
1
0
Fork 0
mirror of https://github.com/VSCodium/vscodium.git synced 2026-04-24 03:50:13 +10:00
Code Issues Packages Projects Releases Wiki Activity

fix: update mangle patch

Browse Source
This commit is contained in:
Baptiste Augrain
2023-01-08 10:44:54 +01:00
parent 8474e2eec6
commit 43f11068ce
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
patches/fix-mangle-windows.patch
View File

@@ -1,5 +1,5 @@
diff --git a/build/lib/compilation.js b/build/lib/compilation.js diff --git a/build/lib/compilation.js b/build/lib/compilation.js
index f26b7ac..15d930c 100644 index d101f6e..cf50b50 100644
--- a/build/lib/compilation.js --- a/build/lib/compilation.js
+++ b/build/lib/compilation.js +++ b/build/lib/compilation.js
@@ -109,3 +109,3 @@ function compileTask(src, out, build) { @@ -109,3 +109,3 @@ function compileTask(src, out, build) {
@@ -8,11 +8,11 @@ index f26b7ac..15d930c 100644
+ const newContents = newContentsByFileName.get(data.path.replace(/\\/g, '/')); + const newContents = newContentsByFileName.get(data.path.replace(/\\/g, '/'));
if (newContents !== undefined) { if (newContents !== undefined) {
diff --git a/build/lib/compilation.ts b/build/lib/compilation.ts diff --git a/build/lib/compilation.ts b/build/lib/compilation.ts
index 2cc04d2..9029c62 100644 index 54fa32d..4c8fd1c 100644
--- a/build/lib/compilation.ts --- a/build/lib/compilation.ts
+++ b/build/lib/compilation.ts +++ b/build/lib/compilation.ts
@@ -128,3 +128,3 @@ export function compileTask(src: string, out: string, build: boolean): () => Nod @@ -129,3 +129,3 @@ export function compileTask(src: string, out: string, build: boolean): () => Nod
mangleStream = es.through(function write(data: File) { mangleStream = es.through(function write(data: File & { sourceMap?: RawSourceMap }) {
- const newContents = newContentsByFileName.get(data.path); - const newContents = newContentsByFileName.get(data.path);
+ const newContents = newContentsByFileName.get(data.path.replace(/\\/g, '/')); + const newContents = newContentsByFileName.get(data.path.replace(/\\/g, '/'));
if (newContents !== undefined) { if (newContents !== undefined) {