mirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-25 09:38:06 +02:00
Code Activity

Let Travis lint using node make lint, instead of a hard-coded command

Browse source
This commit is contained in:
Jonas Jenwald 2015-12-07 15:40:36 +01:00
parent 084bb8682f
commit d6c2ced9e6
2 changed files with 5 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
make.js
View file

@ -1492,9 +1492,11 @@ target.lint = function() {
var options = '--extra-ext .jsm';
var exitCode = exec('"' + jshintPath + '" ' + options + ' .').code;
if (exitCode === 0) {
echo('files checked, no errors found');
if (exitCode !== 0) {
exit(1);
}
echo('files checked, no errors found');
};
//