robojerk/codeql-action

Merge pull request #77 from nickrolfe/nickrolfe/codeql.exe

Browse source 
Call codeql.exe rather than codeql.cmd wrapper on Windows
This commit is contained in:
Robert 2020-06-23 16:39:34 +01:00 • committed by GitHub
commit bc21c8f6f3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
lib/setup-tools.js generated
View file

@ -20,7 +20,7 @@ class CodeQLSetup {
if (process.platform === 'win32') {
this.platform = 'win64';
if (this.cmd.endsWith('codeql')) {
this.cmd += ".cmd";
this.cmd += ".exe";
}
}
else if (process.platform === 'linux') {

2
src/setup-tools.ts
View file

@ -17,7 +17,7 @@ export class CodeQLSetup {
if (process.platform === 'win32') {
this.platform = 'win64';
if (this.cmd.endsWith('codeql')) {
this.cmd += ".cmd";
this.cmd += ".exe";
}
} else if (process.platform === 'linux') {
this.platform = 'linux64';