Merge pull request #2013 from github/henrymercer/index-traceless-dbs
Extract scanned languages using `--index-traceless-dbs`
This commit is contained in:
commit
a16ac98583
3 changed files with 5 additions and 22 deletions
10
lib/codeql.js
generated
10
lib/codeql.js
generated
|
|
@ -356,19 +356,13 @@ async function getCodeQLForCmd(cmd, checkVersion) {
|
||||||
await runTool(autobuildCmd);
|
await runTool(autobuildCmd);
|
||||||
},
|
},
|
||||||
async extractScannedLanguage(config, language) {
|
async extractScannedLanguage(config, language) {
|
||||||
const databasePath = util.getCodeQLDatabasePath(config, language);
|
|
||||||
// Set trace command
|
|
||||||
const ext = process.platform === "win32" ? ".cmd" : ".sh";
|
|
||||||
const traceCommand = path.resolve(await this.resolveExtractor(language), "tools", `autobuild${ext}`);
|
|
||||||
// Run trace command
|
|
||||||
await runTool(cmd, [
|
await runTool(cmd, [
|
||||||
"database",
|
"database",
|
||||||
"trace-command",
|
"trace-command",
|
||||||
|
"--index-traceless-dbs",
|
||||||
...(await getTrapCachingExtractorConfigArgsForLang(config, language)),
|
...(await getTrapCachingExtractorConfigArgsForLang(config, language)),
|
||||||
...getExtraOptionsFromEnv(["database", "trace-command"]),
|
...getExtraOptionsFromEnv(["database", "trace-command"]),
|
||||||
databasePath,
|
util.getCodeQLDatabasePath(config, language),
|
||||||
"--",
|
|
||||||
traceCommand,
|
|
||||||
]);
|
]);
|
||||||
},
|
},
|
||||||
async finalizeDatabase(databasePath, threadsFlag, memoryFlag) {
|
async finalizeDatabase(databasePath, threadsFlag, memoryFlag) {
|
||||||
|
|
|
||||||
File diff suppressed because one or more lines are too long
|
|
@ -692,24 +692,13 @@ export async function getCodeQLForCmd(
|
||||||
await runTool(autobuildCmd);
|
await runTool(autobuildCmd);
|
||||||
},
|
},
|
||||||
async extractScannedLanguage(config: Config, language: Language) {
|
async extractScannedLanguage(config: Config, language: Language) {
|
||||||
const databasePath = util.getCodeQLDatabasePath(config, language);
|
|
||||||
|
|
||||||
// Set trace command
|
|
||||||
const ext = process.platform === "win32" ? ".cmd" : ".sh";
|
|
||||||
const traceCommand = path.resolve(
|
|
||||||
await this.resolveExtractor(language),
|
|
||||||
"tools",
|
|
||||||
`autobuild${ext}`,
|
|
||||||
);
|
|
||||||
// Run trace command
|
|
||||||
await runTool(cmd, [
|
await runTool(cmd, [
|
||||||
"database",
|
"database",
|
||||||
"trace-command",
|
"trace-command",
|
||||||
|
"--index-traceless-dbs",
|
||||||
...(await getTrapCachingExtractorConfigArgsForLang(config, language)),
|
...(await getTrapCachingExtractorConfigArgsForLang(config, language)),
|
||||||
...getExtraOptionsFromEnv(["database", "trace-command"]),
|
...getExtraOptionsFromEnv(["database", "trace-command"]),
|
||||||
databasePath,
|
util.getCodeQLDatabasePath(config, language),
|
||||||
"--",
|
|
||||||
traceCommand,
|
|
||||||
]);
|
]);
|
||||||
},
|
},
|
||||||
async finalizeDatabase(
|
async finalizeDatabase(
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue