diff options
author | Dirk Baeumer <dirkb@microsoft.com> | 2016-06-24 12:14:41 +0300 |
---|---|---|
committer | Dirk Baeumer <dirkb@microsoft.com> | 2016-06-24 12:15:39 +0300 |
commit | 4e2e9302d397cf7084332d4425d0312d95f31b81 (patch) | |
tree | 2569aa72032b3641247bce6d7b1e822effed5cd4 /gulpfile.js | |
parent | 9d38f78fb3335cc4e4519947f662cd72cdb51899 (diff) |
Fixing monaco.d.ts generation
Diffstat (limited to 'gulpfile.js')
-rw-r--r-- | gulpfile.js | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gulpfile.js b/gulpfile.js index 3b3a997c746..cbee057d47b 100644 --- a/gulpfile.js +++ b/gulpfile.js @@ -129,6 +129,10 @@ function monacodtsTask(out, isWatch) { clearTimeout(timer); timer = -1; } + if (reporter.hasErrors()) { + monacodts.complainErrors(); + return; + } var result = monacodts.run(out); if (!result.isTheSame) { if (isWatch) { @@ -147,7 +151,7 @@ function monacodtsTask(out, isWatch) { var resultStream = es.through(function(data) { var filePath = path.normalize(data.path); - if (filesToWatchMap[filePath]) { + if (isWatch && filesToWatchMap[filePath]) { runSoon(5000); } this.emit('data', data); |