Rewrite tools/lint.sh in python (#343)

1 files changed, 30 insertions, 0 deletions

diff --git a/tools/lint.py b/tools/lint.py
new file mode 100755
index 000000000..1fa0d461d
--- /dev/null
+++ b/tools/lint.py
@@ -0,0 +1,30 @@
+#!/usr/bin/env python
+# Does google-lint on c++ files and ts-lint on typescript files
+
+import os
+import subprocess
+
+root_path = os.path.dirname(os.path.dirname(os.path.realpath(__file__)))
+third_party_path = os.path.join(root_path, "third_party")
+cpplint = os.path.join(third_party_path, "cpplint", "cpplint.py")
+tslint = os.path.join(third_party_path, "node_modules", "tslint", "bin",
+                      "tslint")
+
+
+def run(args):
+    print(" ".join(args))
+    env = os.environ.copy()
+    subprocess.check_call(args, env=env)
+
+
+def main():
+    os.chdir(root_path)
+    run([
+        "python", cpplint, "--filter=-build/include_subdir",
+        "--repository=src", "--extensions=cc,h", "--recursive", "src/."
+    ])
+    run(["node", tslint, "-p", ".", "--exclude", "js/msg_generated.ts"])
+
+
+if __name__ == "__main__":
+    main()