fix(bin/linja): replace '\' with '/' for flycheck output on windows
This commit is contained in:
parent
5deb6e10db
commit
f4e118de76
1 changed files with 2 additions and 0 deletions
|
@ -304,6 +304,8 @@ def process_lean_output(target, out, args):
|
|||
current_file = ""
|
||||
while i < lines_len:
|
||||
line = lines[i]
|
||||
if platform.system() == "Windows":
|
||||
line = line.replace("\\", "/")
|
||||
i += 1
|
||||
if line == "":
|
||||
continue
|
||||
|
|
Loading…
Reference in a new issue