diff options
Diffstat (limited to 'dev/lint/global-declarations.js')
| -rw-r--r-- | dev/lint/global-declarations.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/lint/global-declarations.js b/dev/lint/global-declarations.js index 03cf74f4..61739c42 100644 --- a/dev/lint/global-declarations.js +++ b/dev/lint/global-declarations.js @@ -117,7 +117,7 @@ function main() { const fix = (process.argv.length >= 2 && process.argv[2] === '--fix'); const directory = path.resolve(__dirname, '..', '..', 'ext'); const pattern = /\.js$/; - const ignorePattern = /[\\/]ext[\\/]mixed[\\/]lib[\\/]/; + const ignorePattern = /[\\/]ext[\\/]lib[\\/]/; const fileNames = getAllFiles(directory, null, (f) => pattern.test(f) && !ignorePattern.test(f)); for (const fileName of fileNames) { if (!validateGlobals(fileName, fix)) { |