diff options
author | Florian Dold <florian.dold@gmail.com> | 2018-01-03 14:42:06 +0100 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2018-01-03 14:42:06 +0100 |
commit | fd2cd9c383b07cd681c18137396deae025d98047 (patch) | |
tree | 05de454bb6fc0fcb95b66b6ef87bcd555e81b58c /gulpfile.js | |
parent | eb689d60aca8fc80e27ea60c4e4d7e848b01bea9 (diff) |
fix lint issues and separate message types into multiple files
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 cb385f043..f8e0c90fa 100644 --- a/gulpfile.js +++ b/gulpfile.js @@ -107,7 +107,7 @@ const tsBaseArgs = { experimentalDecorators: true, module: "commonjs", sourceMap: true, - lib: ["ES6", "DOM"], + lib: ["es6", "dom"], noImplicitReturns: true, noFallthroughCasesInSwitch: true, strict: true, @@ -266,6 +266,7 @@ gulp.task("pogen", function (cb) { */ function tsconfig(confBase) { let conf = { + compileOnSave: true, compilerOptions: {}, files: [] }; |