From 2516be859bf3212d132beb22289e2de1d4ddde2e Mon Sep 17 00:00:00 2001
From: Kalervo Kujala <kkujala@com>
Date: Thu, 23 Aug 2012 21:20:21 +0300
Subject: [PATCH] Gjslint also the build related js files.

---
 make.js | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/make.js b/make.js
index df732ce1e..a42ae7fd2 100755
--- a/make.js
+++ b/make.js
@@ -697,7 +697,10 @@ target.lint = function() {
   echo();
   echo('### Linting JS files (this can take a while!)');
 
-  var LINT_FILES = ['src/*.js',
+  var LINT_FILES = ['make.js',
+                    'external/builder/*.js',
+                    'external/crlfchecker/*.js',
+                    'src/*.js',
                     'web/*.js',
                     'test/*.js',
                     'test/unit/*.js',