Ignore Windows binaries in tools/ (#458)

Co-authored-by: root <root@WIN11.localdomain>
This commit is contained in:
Carlos Gutierrez 2026-01-04 22:22:34 -07:00 committed by GitHub
parent 74d5f5523e
commit d9e0604183
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -169,7 +169,7 @@ function checkDeprecatedExtensionDirs(baseDir: string, label: string): string[]
// Check if tools/ contains anything other than fd/rg (which are auto-extracted binaries)
try {
const entries = readdirSync(toolsDir);
const customTools = entries.filter((e) => e !== "fd" && e !== "rg");
const customTools = entries.filter((e) => e !== "fd" && e !== "rg" && e !== "fd.exe" && e !== "rg.exe");
if (customTools.length > 0) {
warnings.push(
`${label} tools/ directory contains custom tools. Custom tools have been merged into extensions.`,