From 9216435953d6e52a8c2c88505f76bbae4d4bb7af Mon Sep 17 00:00:00 2001
From: Yury Delendik <ydelendik@mozilla.com>
Date: Sat, 2 Feb 2013 12:03:18 -0600
Subject: [PATCH] Disables gjslint results
---
make.js | 3 +++
1 file changed, 3 insertions(+)
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);
};