mirror of
https://github.com/github/codeql.git
synced 2026-05-01 03:35:13 +02:00
Merge pull request #2258 from asger-semmle/js-ignore-codesql-databases
Approved by esbena
This commit is contained in:
@@ -666,6 +666,9 @@ public class AutoBuild {
|
||||
throws IOException {
|
||||
if (!dir.equals(currentRoot[0]) && (excludes.contains(dir) || dir.toFile().isHidden()))
|
||||
return FileVisitResult.SKIP_SUBTREE;
|
||||
if (Files.exists(dir.resolve("codeql-database.yml"))) {
|
||||
return FileVisitResult.SKIP_SUBTREE;
|
||||
}
|
||||
return super.preVisitDirectory(dir, attrs);
|
||||
}
|
||||
};
|
||||
|
||||
@@ -585,4 +585,12 @@ public class AutoBuildTests {
|
||||
addFile(true, LGTM_SRC, "tst.qhelp");
|
||||
runTest();
|
||||
}
|
||||
|
||||
@Test
|
||||
public void skipCodeQLDatabases() throws IOException {
|
||||
addFile(true, LGTM_SRC, "tst.js");
|
||||
addFile(false, LGTM_SRC, "db/codeql-database.yml");
|
||||
addFile(false, LGTM_SRC, "db/foo.js");
|
||||
runTest();
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user