Print the names of files being linted.

2016-01-14 10:14:25 -08:00 · 2016-01-14 10:14:25 -08:00 · 94eb1079fd
parent 9df1ed4dd3
commit 94eb1079fd
1 changed files with 1 additions and 0 deletions
--- a/Jakefile.js
+++ b/Jakefile.js
@ -893,6 +893,7 @@ function getLinterOptions() {

 function lintFileContents(options, path, contents) {
    var ll = new Linter(path, contents, options);
+    console.log("Linting '" + path + "'.")
    return ll.lint();
 }