michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(bin/linja): decode communicated result if not None

Browse source
This commit is contained in:
Soonho Kong 2015-05-03 17:21:12 -04:00
parent a46abbb9ce
commit 69f3f65ec9
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
bin/linja.in
View file

@ -514,9 +514,9 @@ def call_ninja(args):
ninja_option += ["-k", args.keep_going]
proc = subprocess.Popen([g_ninja_path] + ninja_option + targets, stdout=proc_out, stderr=proc_err)
(out, err) = proc.communicate()
if out:
if out is not None:
out = out.decode('utf-8')
if err:
if err is not None:
err = err.decode('utf-8')
if args.flycheck:
if len(args.targets) == 1 and (args.targets[0].endswith(".lean") or args.targets[0].endswith(".hlean")):