diff options
| author | Ramon Fernandez <ramon@mongodb.com> | 2016-08-25 19:08:09 -0400 |
|---|---|---|
| committer | Ramon Fernandez <ramon@mongodb.com> | 2016-08-25 19:09:41 -0400 |
| commit | e9ad3d5d40aedc9ccd607c00dc0e98a859e55147 (patch) | |
| tree | e4dfca15fb6f1d26c57ceade648eedeb570dcff3 | |
| parent | c0a54c747568b8666f61bcd49fc89853b596f1f8 (diff) | |
| download | mongo-e9ad3d5d40aedc9ccd607c00dc0e98a859e55147.tar.gz | |
SERVER-25814 Do not lint the js files in the tools import
| -rw-r--r-- | .eslintignore | 1 | ||||
| -rwxr-xr-x | buildscripts/clang_format.py | 3 |
2 files changed, 3 insertions, 1 deletions
diff --git a/.eslintignore b/.eslintignore new file mode 100644 index 00000000000..a1ded284b11 --- /dev/null +++ b/.eslintignore @@ -0,0 +1 @@ +src/mongo/gotools/* diff --git a/buildscripts/clang_format.py b/buildscripts/clang_format.py index 0e9cb7e7416..ce6ea8538e8 100755 --- a/buildscripts/clang_format.py +++ b/buildscripts/clang_format.py @@ -500,7 +500,8 @@ class Repo(object): file_list = [line.rstrip() for line in gito.splitlines() if (line.startswith("jstests") or line.startswith("src")) - and not line.startswith("src/third_party")] + and not line.startswith("src/third_party/") + and not line.startswith("src/mongo/gotools/")] files_match = re.compile('\\.(h|cpp|js)$') |