diff options
author | Joao Moreno <jomo@microsoft.com> | 2016-07-12 11:59:34 +0300 |
---|---|---|
committer | Joao Moreno <jomo@microsoft.com> | 2016-07-12 11:59:34 +0300 |
commit | 1552828709734316143f6340a2172e446ad04f39 (patch) | |
tree | f11f5674e2dc05ec8efb7d7af555b36947a28dd0 /gulpfile.js | |
parent | 8df5e70d12523130e2e2d6e88aca43dc9962571f (diff) |
forgot top level
Diffstat (limited to 'gulpfile.js')
-rw-r--r-- | gulpfile.js | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gulpfile.js b/gulpfile.js index 9149b22d24c..17f407736af 100644 --- a/gulpfile.js +++ b/gulpfile.js @@ -24,7 +24,6 @@ var bom = require('gulp-bom'); var sourcemaps = require('gulp-sourcemaps'); var _ = require('underscore'); var assign = require('object-assign'); -var quiet = !!process.env['VSCODE_BUILD_QUIET']; var monacodts = require('./build/monaco/api'); var fs = require('fs'); @@ -33,7 +32,7 @@ var tsOptions = { target: 'ES5', declaration: true, module: 'amd', - verbose: !quiet, + verbose: false, preserveConstEnums: true, experimentalDecorators: true, sourceMap: true, |