Merge branch 'main' into aeisenberg/warning-message

github · May 5, 2021 · c2ec5a2 · c2ec5a2
2 parents e04c62b + 46d0d27
commit c2ec5a2
Showing 3 changed files with 7 additions and 1 deletion.
diff --git a/lib/codeql.js b/lib/codeql.js
diff --git a/lib/codeql.js.map b/lib/codeql.js.map
diff --git a/src/codeql.ts b/src/codeql.ts
@@ -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) {