Add min disk free flag to database analyze:

This commit is contained in:
David Verdeguer 2020-09-24 11:42:21 +02:00
parent f2e557e77f
commit 7753dec413
3 changed files with 3 additions and 1 deletions

1
lib/codeql.js generated
View file

@ -386,6 +386,7 @@ function getCodeQLForCmd(cmd) {
memoryFlag,
threadsFlag,
databasePath,
"--min-disk-free=1024",
"--format=sarif-latest",
`--output=${sarifFile}`,
addSnippetsFlag,

File diff suppressed because one or more lines are too long

View file

@ -597,6 +597,7 @@ function getCodeQLForCmd(cmd: string): CodeQL {
memoryFlag,
threadsFlag,
databasePath,
"--min-disk-free=1024", // Try to leave at least 1GB free
"--format=sarif-latest",
`--output=${sarifFile}`,
addSnippetsFlag,