Bug 1385916 - Get wpt mozlint integration to forward files to be linted, r?jgraham draft
authorAndrew Halberstadt <ahalberstadt@mozilla.com>
Mon, 31 Jul 2017 11:40:27 -0400
changeset 618585 3d8604620d6eb402e4914ddcb975859a965aea15
parent 618502 1be0c1da06076f85c69cd8a9d244e0164ec544d9
child 640123 8ea273cab1400fb9c5cff4ff92dc53ca3e0848df
push id71391
push userahalberstadt@mozilla.com
push dateMon, 31 Jul 2017 19:20:51 +0000
reviewersjgraham
bugs1385916
milestone56.0a1
Bug 1385916 - Get wpt mozlint integration to forward files to be linted, r?jgraham MozReview-Commit-ID: I2PYtsef9Y3
tools/lint/wpt/wpt.py
--- a/tools/lint/wpt/wpt.py
+++ b/tools/lint/wpt/wpt.py
@@ -22,17 +22,17 @@ def lint(files, config, **kwargs):
             data = json.loads(line)
         except ValueError:
             return
         data["level"] = "error"
         data["path"] = os.path.relpath(os.path.join(tests_dir, data["path"]), kwargs['root'])
         results.append(result.from_config(config, **data))
 
     path = os.path.join(tests_dir, "lint")
-    proc = ProcessHandler([path, "--json"], env=os.environ,
+    proc = ProcessHandler([path, "--json"] + files, env=os.environ,
                           processOutputLine=process_line)
     proc.run()
     try:
         proc.wait()
     except KeyboardInterrupt:
         proc.kill()
 
     return results