diff --git a/gulpfile.js b/gulpfile.js index daa7d9efd..99ca22133 100644 --- a/gulpfile.js +++ b/gulpfile.js @@ -1160,7 +1160,8 @@ gulp.task('lint', function (done) { console.log('### Linting JS files'); // Ensure that we lint the Firefox specific *.jsm files too. - var options = ['node_modules/eslint/bin/eslint', '--ext', '.js,.jsm', '.']; + var options = ['node_modules/eslint/bin/eslint', '--ext', '.js,.jsm', '.', + '--report-unused-disable-directives']; var esLintProcess = spawn('node', options, { stdio: 'inherit', }); esLintProcess.on('close', function (code) { if (code !== 0) { diff --git a/src/doc_helper.js b/src/doc_helper.js index d6707e3a3..86632b455 100644 --- a/src/doc_helper.js +++ b/src/doc_helper.js @@ -12,7 +12,6 @@ * See the License for the specific language governing permissions and * limitations under the License. */ -/* eslint-disable strict */ /* NOTE: This file is created as a helper to assist with JSDoc html files. diff --git a/src/pdf.worker.entry.js b/src/pdf.worker.entry.js index 1950ad7de..2847f1b80 100644 --- a/src/pdf.worker.entry.js +++ b/src/pdf.worker.entry.js @@ -12,7 +12,6 @@ * See the License for the specific language governing permissions and * limitations under the License. */ -/* eslint-disable strict */ (typeof window !== 'undefined' ? window : {}).pdfjsDistBuildPdfWorker = require('./pdf.worker.js');