From 94eb1079fd4ed64d43f36f7ad7d134b3a54d8aa1 Mon Sep 17 00:00:00 2001
From: Daniel Rosenwasser <drosen@microsoft.com>
Date: Thu, 14 Jan 2016 10:14:25 -0800
Subject: [PATCH] Print the names of files being linted.

---
 Jakefile.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Jakefile.js b/Jakefile.js
index 0749ba8cc2..7024ad2afd 100644
--- 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();
 }