Add clippy to /tools/lint.py (#4132)

1 files changed, 33 insertions, 3 deletions

diff --git a/tools/lint.py b/tools/lint.py
index 6adbf0b69..2a01ffd5b 100755
--- a/tools/lint.py
+++ b/tools/lint.py
@@ -4,16 +4,37 @@
 
 import os
 import sys
+import argparse
 from util import enable_ansi_colors, git_ls_files, root_path, run
-from util import third_party_path
+from util import third_party_path, build_mode
 from third_party import python_env
 
 
 def main():
     enable_ansi_colors()
     os.chdir(root_path)
-    eslint()
-    pylint()
+
+    parser = argparse.ArgumentParser()
+    parser.add_argument("--js", help="run eslint", action="store_true")
+    parser.add_argument("--py", help="run pylint", action="store_true")
+    parser.add_argument("--rs", help="run clippy", action="store_true")
+    args = parser.parse_args()
+
+    did_fmt = False
+    if args.js:
+        eslint()
+        did_fmt = True
+    if args.py:
+        pylint()
+        did_fmt = True
+    if args.rs:
+        clippy()
+        did_fmt = True
+
+    if not did_fmt:
+        eslint()
+        pylint()
+        clippy()
 
 
 def eslint():
@@ -49,5 +70,14 @@ def pylint():
         quiet=True)
 
 
+def clippy():
+    print "clippy"
+    current_build_mode = build_mode()
+    args = ["cargo", "clippy", "--all-targets", "--locked"]
+    if current_build_mode != "debug":
+        args += ["--release"]
+    run(args + ["--", "-D", "clippy::all"], shell=False, quiet=True)
+
+
 if __name__ == "__main__":
     sys.exit(main())