update error_wrapper to take matcher array

This commit is contained in:
Nick Fyson 2020-09-01 16:35:08 +01:00
parent cd22abcda8
commit 7b7e0e12b7
6 changed files with 70 additions and 44 deletions

View file

@ -391,12 +391,14 @@ function getCodeQLForCmd(cmd: string): CodeQL {
]);
},
finalizeDatabase: async function(databasePath: string) {
await exec_wrapper(cmd, [
'database',
'finalize',
...getExtraOptionsFromEnv(['database', 'finalize']),
databasePath
]);
await exec_wrapper(
cmd, [
'database',
'finalize',
...getExtraOptionsFromEnv(['database', 'finalize']),
databasePath
],
[[0, new RegExp("(No source code was seen during the build\\.|No JavaScript or TypeScript code found\\.)"), 'foo bar']]);
},
resolveQueries: async function(queries: string[], extraSearchPath: string | undefined) {
const codeqlArgs = [