mirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-20 07:08:08 +02:00
Code Activity

Merge pull request #2662 from yurydelendik/disable-gjslint

Browse source 
Disables gjslint results
This commit is contained in:
Yury Delendik 2013-02-02 10:05:34 -08:00
commit a617f0e87f
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
make.js
View file

@ -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);
};