Merge branch 'main' into daverlo/categoryInput

This commit is contained in:
David Verdeguer
2021-05-10 14:54:09 +02:00
20 changed files with 169 additions and 74 deletions

View File

@@ -686,6 +686,9 @@ function getCodeQLForCmd(cmd: string): CodeQL {
"--sarif-multicause-markdown",
`--output=${sarifFile}`,
addSnippetsFlag,
// Enable progress verbosity so we log each query as it's interpreted. This aids debugging
// when interpretation takes a while for one of the queries being analyzed.
"-v",
...getExtraOptionsFromEnv(["database", "analyze"]),
];
if (extraSearchPath !== undefined) {