diff options
| author | JaePil Jung <jjp5023@gmail.com> | 2019-01-25 00:54:43 +0900 |
|---|---|---|
| committer | Ryan Dahl <ry@tinyclouds.org> | 2019-01-24 10:54:43 -0500 |
| commit | 7f88b5fff3fe8aed2073d4347d3ab847fc4c528a (patch) | |
| tree | 5391a4d6ca9ec2add34719baeaf4dbd884c79b07 /tools/lint.py | |
| parent | 2547f0296fc77357b9c11f3bdc7414a68243e775 (diff) | |
Minor code cleanups (#1570)
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 94b79739c..4c38d3c69 100755 --- a/tools/lint.py +++ b/tools/lint.py @@ -4,11 +4,10 @@ import os import sys -from util import enable_ansi_colors, run, find_exts +from util import enable_ansi_colors, find_exts, root_path, run enable_ansi_colors() -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", |