diff options
author | Joao Moreno <jomo@microsoft.com> | 2016-09-05 12:29:44 +0300 |
---|---|---|
committer | Joao Moreno <jomo@microsoft.com> | 2016-09-05 12:29:44 +0300 |
commit | c524ef6c7142c8a7304de3f14866793b8f2a69ab (patch) | |
tree | d364031538e867bd02f611e64d2c77d6b9a20478 /gulpfile.js | |
parent | 3a68dedf805ea554117d5c83ea2533f62d62b483 (diff) |
lock distro version
Diffstat (limited to 'gulpfile.js')
-rw-r--r-- | gulpfile.js | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gulpfile.js b/gulpfile.js index 204ac7b60c0..3a90599b4fd 100644 --- a/gulpfile.js +++ b/gulpfile.js @@ -29,6 +29,7 @@ const assign = require('object-assign'); const monacodts = require('./build/monaco/api'); const fs = require('fs'); const glob = require('glob'); +const pkg = require('./package.json'); const rootDir = path.join(__dirname, 'src'); const options = require('./src/tsconfig.json').compilerOptions; @@ -215,7 +216,7 @@ gulp.task('mixin', function () { return; } - const url = 'https://github.com/' + repo + '/archive/master.zip'; + const url = `https://github.com/${ repo }/archive/${ pkg.distro }.zip`; const opts = { base: '' }; const username = process.env['VSCODE_MIXIN_USERNAME']; const password = process.env['VSCODE_MIXIN_PASSWORD']; |