diff options
Diffstat (limited to 'tools/lint.py')
| -rwxr-xr-x | tools/lint.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/tools/lint.py b/tools/lint.py index bd65da09e..46a3c94ca 100755 --- a/tools/lint.py +++ b/tools/lint.py @@ -4,12 +4,11 @@ import os import sys -from util import enable_ansi_colors, find_exts, root_path, run +from util import enable_ansi_colors, find_exts, root_path, run, third_party_path from third_party import python_env enable_ansi_colors() -third_party_path = os.path.join(root_path, "third_party") cpplint = os.path.join(third_party_path, "cpplint", "cpplint.py") eslint = os.path.join(third_party_path, "node_modules", "eslint", "bin", "eslint") |