mirror of
https://github.com/mozilla/pdf.js.git
synced 2025-04-26 10:08:06 +02:00
Disables gjslint results
This commit is contained in:
parent
9737ff5d5b
commit
9216435953
1 changed files with 3 additions and 0 deletions
3
make.js
3
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);
|
||||
};
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue