Use codeql.exe instead of codeql.cmd on Windows

This commit is contained in:
Nick Rolfe
2020-01-17 10:53:15 +00:00
parent 07f6846179
commit 9f34d6778f
2 changed files with 2 additions and 2 deletions

View File

@@ -85,7 +85,7 @@
"scope": "machine",
"type": "string",
"default": "",
"description": "Path to the CodeQL executable that should be used by the CodeQL extension. The executable is named `codeql` on Linux/Mac and `codeql.cmd` on Windows. This overrides all other CodeQL CLI settings."
"description": "Path to the CodeQL executable that should be used by the CodeQL extension. The executable is named `codeql` on Linux/Mac and `codeql.exe` on Windows. This overrides all other CodeQL CLI settings."
},
"codeQL.runningQueries.numberOfThreads": {
"type": "integer",

View File

@@ -502,7 +502,7 @@ export function versionCompare(a: Version, b: Version): number {
}
function codeQlLauncherName(): string {
return (os.platform() === "win32") ? "codeql.cmd" : "codeql";
return (os.platform() === "win32") ? "codeql.exe" : "codeql";
}
function isRedirectStatusCode(statusCode: number): boolean {