diff options
| author | wxb1ank <[email protected]> | 2021-06-02 18:58:14 +0100 |
|---|---|---|
| committer | wxb1ank <[email protected]> | 2021-06-02 18:58:14 +0100 |
| commit | 388a1945accb98eaa4e612645075ef08317f5781 (patch) | |
| tree | b7a00a0f2766dcf2976a55eef577ba0822094b75 /editors | |
| parent | 0448b7364666ba59b39bbd5564fe8a34b67b8f01 (diff) | |
Lint toolchain.ts
Diffstat (limited to 'editors')
| -rw-r--r-- | editors/code/src/toolchain.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/src/toolchain.ts b/editors/code/src/toolchain.ts index ba1b8617a..902d0ddda 100644 --- a/editors/code/src/toolchain.ts +++ b/editors/code/src/toolchain.ts | |||
| @@ -181,5 +181,5 @@ function lookupInPath(exec: string): boolean { | |||
| 181 | } | 181 | } |
| 182 | 182 | ||
| 183 | async function isFile(path: string): Promise<boolean> { | 183 | async function isFile(path: string): Promise<boolean> { |
| 184 | return ((await vscode.workspace.fs.stat(vscode.Uri.file(path))).type & vscode.FileType.File) != 0; | 184 | return ((await vscode.workspace.fs.stat(vscode.Uri.file(path))).type & vscode.FileType.File) !== 0; |
| 185 | } | 185 | } |