fix(bin/linja): use Popen.communicate instead of Popen.wait
Popen.wait() can cause deadlock. Reference: https://docs.python.org/2/library/subprocess.html#subprocess.Popen.wait
This commit is contained in:
parent
562cc2c8f3
commit
5deb6e10db
1 changed files with 1 additions and 3 deletions
|
@ -336,10 +336,8 @@ def call_ninja(args):
|
|||
proc_out = subprocess.PIPE
|
||||
proc_err = subprocess.PIPE
|
||||
proc = subprocess.Popen([g_ninja_path] + targets, stdout=proc_out, stderr=proc_err)
|
||||
proc.wait()
|
||||
|
||||
(out, err) = proc.communicate()
|
||||
if args.flycheck:
|
||||
(out, err) = proc.communicate()
|
||||
if len(args.targets) == 1 and args.targets[0].endswith(".lean"):
|
||||
process_lean_output(targets[0], out, args)
|
||||
handle_flycheck_failure(out, err, args)
|
||||
|
|
Loading…
Reference in a new issue