mrva/vscode-codeql
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

Merge pull request #214 from github/revert-211-codeql.exe

Browse Source 
Revert "Use codeql.exe instead of codeql.cmd on Windows"
This commit is contained in:
jcreedcmu
2020-01-21 12:12:52 -05:00
committed by GitHub
parent 16554ab64b 0a01a7cc43
commit 42043de3f0
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
extensions/ql-vscode/package.json
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.exe` 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.cmd` on Windows. This overrides all other CodeQL CLI settings."
},
"codeQL.runningQueries.numberOfThreads": {
"type": "integer",

2
extensions/ql-vscode/src/distribution.ts
View File

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