mirror of
https://github.com/mozilla/pdf.js.git
synced 2025-04-20 15:18:08 +02:00
Replacing gjslint with jshint; fixing jshint for windows
This commit is contained in:
parent
4b4c70f5d1
commit
cb68adb80f
4 changed files with 22 additions and 37 deletions
|
@ -43,6 +43,7 @@ module.exports = {
|
|||
((len === 1) ? '' : 's') + '\n');
|
||||
process.exit(2);
|
||||
} else {
|
||||
process.stdout.write('files checked, no errors found\n');
|
||||
process.exit(0);
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue