aboutsummaryrefslogtreecommitdiff
path: root/dev/lint/global-declarations.js
diff options
context:
space:
mode:
Diffstat (limited to 'dev/lint/global-declarations.js')
-rw-r--r--dev/lint/global-declarations.js2
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)) {