diff --git a/bin/eslint.js b/bin/eslint.js index 97dd35dad..4cbda78b1 100755 --- a/bin/eslint.js +++ b/bin/eslint.js @@ -168,6 +168,10 @@ runWithTiming("engineConfig", function () { options.extensions = userConfig.extensions; } + if (userConfig.ignore_path) { + options.ignorePath = userConfig.ignore_path; + } + if (userConfig.debug) { debug = true; }