fix: small edits

This commit is contained in:
Tom Hu 2022-04-04 16:28:42 -04:00
parent f37520c6b0
commit ac6033346c
No known key found for this signature in database
GPG key ID: 6D87FFF4D2F6D66F
5 changed files with 17 additions and 11 deletions

6
dist/index.js vendored
View file

@ -12981,13 +12981,13 @@ const buildExec = () => {
execArgs.push('-g');
}
if (gcovArgs) {
execArgs.push('-ga', `${gcovArgs}`);
execArgs.push('--ga', `${gcovArgs}`);
}
if (gcovIgnore) {
execArgs.push('-gi', `${gcovIgnore}`);
execArgs.push('--gi', `${gcovIgnore}`);
}
if (gcovInclude) {
execArgs.push('-gI', `${gcovInclude}`);
execArgs.push('--gI', `${gcovInclude}`);
}
if (overrideBranch) {
execArgs.push('-B', `${overrideBranch}`);

2
dist/index.js.map vendored

File diff suppressed because one or more lines are too long