Add configuration option to set CodeQL DB location

This commit is contained in:
Edoardo Pirovano 2021-05-17 10:35:09 +01:00 committed by Edoardo Pirovano
parent feccdcb876
commit 79c79f1be5
38 changed files with 133 additions and 79 deletions

View file

@ -195,6 +195,7 @@ program
cmd.languages,
cmd.queries,
cmd.configFile,
undefined,
parseRepositoryNwo(cmd.repository),
tempDir,
toolsDir,