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/code | |
parent | 0448b7364666ba59b39bbd5564fe8a34b67b8f01 (diff) |
Lint toolchain.ts
Diffstat (limited to 'editors/code')
-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 | } |