diff --git a/make.js b/make.js index a34ca1017..002b3523d 100644 --- a/make.js +++ b/make.js @@ -971,6 +971,9 @@ target.lint = function() { exec('gjslint --nojsdoc ' + LINT_FILES.join(' ')); + echo('Discarding the results by printing \"files checked, no errors found\"'); + echo('Use \"node make jshint\"'); + crlfchecker.checkIfCrlfIsPresent(LINT_FILES); };