Merge branch 'main' into aeisenberg/warning-message

This commit is contained in:
Henry Mercer
2021-05-05 18:32:29 +01:00
committed by GitHub
3 changed files with 7 additions and 1 deletions
Generated
+3
View File
@@ -439,6 +439,9 @@ function getCodeQLForCmd(cmd) {
"--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) {
+1 -1
View File
File diff suppressed because one or more lines are too long
+3
View File
@@ -684,6 +684,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) {