From dcfce392b4fdf3122e0f2d5eeb8639545321bbc9 Mon Sep 17 00:00:00 2001 From: Joao Moreno Date: Thu, 28 Jul 2016 09:43:20 +0200 Subject: [PATCH] lint errors --- build/gulpfile.hygiene.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/build/gulpfile.hygiene.js b/build/gulpfile.hygiene.js index ca3bc1fd742..e674c634f4d 100644 --- a/build/gulpfile.hygiene.js +++ b/build/gulpfile.hygiene.js @@ -87,7 +87,7 @@ var tslintFilter = [ '!src/vs/base/**/*.test.ts', '!src/vs/languages/**/*.test.ts', '!src/vs/workbench/**/*.test.ts', - '!extensions/**/*.test.ts', + '!extensions/**/*.test.ts' ]; var copyrightHeader = [ @@ -171,7 +171,7 @@ var hygiene = exports.hygiene = function (some, options) { var options = { formatter: 'json', configuration: configuration, - rulesDirectory: 'build/lib/tslint', + rulesDirectory: 'build/lib/tslint' }; var contents = file.contents.toString('utf8'); var linter = new tslint(file.relative, contents, options);