From 74b01e1dc703f7a72355256df71a7e21880d58bc Mon Sep 17 00:00:00 2001 From: zepumph Date: Thu, 27 Dec 2018 14:05:57 -0900 Subject: [PATCH] rename not-lintable to no-lint, https://github.com/phetsims/tasks/issues/972 --- js/grunt/lint.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/js/grunt/lint.js b/js/grunt/lint.js index b0eb2618..f466fe61 100644 --- a/js/grunt/lint.js +++ b/js/grunt/lint.js @@ -28,7 +28,7 @@ const getDataFile = require( './getDataFile' ); module.exports = function( repos, cache, say = false ) { // get a list of all the repos that can't be linted - const eslintBlacklist = getDataFile( 'not-lintable' ); + const eslintBlacklist = getDataFile( 'no-lint' ); // filter out all unlintable repo. An unlintable repo is one that has no js in it, so it will fail when trying to // lint it.