ignore-default-queries -> disable-default-queries

This commit is contained in:
David Verdeguer 2020-04-30 09:37:04 +02:00
parent 32ced8c901
commit 2809bdc3ee
5 changed files with 9 additions and 9 deletions

View file

@ -17,7 +17,7 @@ export class ExternalQuery {
export class Config {
public name = "";
public ignoreDefaultQueries = false;
public disableDefaultQueries = false;
public additionalQueries: string[] = [];
public externalQueries: ExternalQuery[] = [];
public pathsIgnore: string[] = [];
@ -82,8 +82,8 @@ function initConfig(): Config {
config.name = parsedYAML.name;
}
if (parsedYAML['ignore-default-queries'] && typeof parsedYAML['ignore-default-queries'] === "boolean") {
config.ignoreDefaultQueries = parsedYAML['ignore-default-queries'];
if (parsedYAML['disable-default-queries'] && typeof parsedYAML['disable-default-queries'] === "boolean") {
config.disableDefaultQueries = parsedYAML['disable-default-queries'];
}
const queries = parsedYAML.queries;

View file

@ -103,7 +103,7 @@ async function runQueries(codeqlCmd: string, databaseFolder: string, sarifFolder
core.startGroup('Analyzing ' + database);
const queries: string[] = [];
if (!config.ignoreDefaultQueries) {
if (!config.disableDefaultQueries) {
queries.push(database + '-code-scanning.qls');
}
queries.push(...queriesPerLanguage[database]);