diff options
Diffstat (limited to 'tools/lint.py')
-rwxr-xr-x | tools/lint.py | 30 |
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() |