feat(bin/linja): call lean after ninja if ninja failed

2014-08-29 14:47:13 -07:00 · 2014-08-29 14:47:13 -07:00 · 37538acafa
commit 37538acafa
parent 32be0a67e2
1 changed files with 5 additions and 0 deletions
--- a/bin/linja
+++ b/bin/linja
@ -202,6 +202,11 @@ def handle_failure_for_flycheck(out, target):
        print "%s:1:0: error: failed to compile %s" % (target, failed_file)
        print "FLYCHECK_END"

+    if failed:
+        proc = subprocess.Popen([g_lean_path, "--flycheck", target],
+                                stdout=subprocess.PIPE, stderr=None)
+        print proc.communicate()[0]
+
 def call_ninja(directory, args):
    targets = []
    for item in args.targets: