Print the names of files being linted.

DanielRosenwasser · DanielRosenwasser · commit 94eb1079fd4e · 2016-01-14T10:14:25.000-08:00
diff --git 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();
 }
 

Original file line number	Diff line number	Diff line change
`@@ -893,6 +893,7 @@ function getLinterOptions() {`
`893`	`893`
`894`	`894`	`function lintFileContents(options, path, contents) {`
`895`	`895`	`var ll = new Linter(path, contents, options);`
	`896`	`+ console.log("Linting '" + path + "'.")`
`896`	`897`	`return ll.lint();`
`897`	`898`	`}`
`898`	`899`