diff options
| author | Florian Dold <florian.dold@gmail.com> | 2016-02-10 02:03:31 +0100 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2016-02-10 02:03:31 +0100 |
| commit | a04a9d0424564d942872ba1137eac413a169f0f2 (patch) | |
| tree | e1209f853cf8b75b7b1fc371b926a30aa999d47d /extension/gulpfile.js | |
| parent | 14f636d6708edfcd883421ad76c6da1ce6dd27b9 (diff) | |
refactoring / cosmetic changes
Diffstat (limited to 'extension/gulpfile.js')
| -rw-r--r-- | extension/gulpfile.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/extension/gulpfile.js b/extension/gulpfile.js index 9981de939..8017df684 100644 --- a/extension/gulpfile.js +++ b/extension/gulpfile.js @@ -71,6 +71,8 @@ const tsBaseArgs = { module: "system", sourceMap: true, noLib: true, + noImplicitReturns: true, + noFallthroughCasesInSwitch: true, }; |