Microsoft/vscode
1
0
Fork 0
mirror of https://github.com/microsoft/vscode.git synced 2026-05-08 09:08:48 +01:00
Code Issues Packages Projects Releases Wiki Activity

remove plugin host sourcemap

Browse Source 
fixes #2863
This commit is contained in:
Joao Moreno
2016-02-19 15:10:37 +01:00
parent c5d4fbca7c
commit f61d36818d
2 changed files with 4 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files
build/gulpfile.vscode.js
+4 -13
View File
@@ -3,7 +3,7 @@
* Licensed under the MIT License. See License.txt in the project root for license information.
*--------------------------------------------------------------------------------------------*/
/*global process,__dirname, Buffer*/
/*global process,__dirname,Buffer,require*/
var gulp = require('gulp');
var fs = require('fs');
@@ -16,7 +16,6 @@ var rename = require('gulp-rename');
var replace = require('gulp-replace');
var filter = require('gulp-filter');
var json = require('gulp-json-editor');
var insert = require('gulp-insert');
var remote = require('gulp-remote-src');
var shell = require("gulp-shell");
var File = require('vinyl');
@@ -160,12 +159,8 @@ function packageTask(platform, arch, opts) {
return function () {
var out = opts.minified ? 'out-vscode-min' : 'out-vscode';
var pluginHostFilter = filter(out + '/vs/workbench/node/pluginHostProcess.js', { restore: true });
var src = gulp.src(out + '/**', { base: '.' })
.pipe(pluginHostFilter)
.pipe(insert.append('\n//# sourceMappingURL=pluginHostProcess.js.map'))
.pipe(pluginHostFilter.restore)
.pipe(rename(function (path) { path.dirname = path.dirname.replace(new RegExp('^' + out), 'out'); }))
.pipe(util.setExecutableBit(['**/*.sh']));
@@ -184,13 +179,9 @@ function packageTask(platform, arch, opts) {
'!extensions/json/server/node_modules/mocha/**'
], { base: '.' });
var pluginHostSourceMap = gulp.src(out + '/vs/workbench/node/pluginHostProcess.js.map', { base: '.' })
.pipe(rename(function (path) { path.dirname = path.dirname.replace(new RegExp('^' + out), 'out'); }));
var sources = es.merge(
es.merge(src, extensions).pipe(filter(['**', '!**/*.js.map'])),
pluginHostSourceMap
).pipe(util.handleAzureJson({ platform: platform }));
var sources = es.merge(src, extensions)
.pipe(filter(['**', '!**/*.js.map']))
.pipe(util.handleAzureJson({ platform: platform }));
var version = packageJson.version;
var quality = product.quality;