mirrors/mongodb
mirrors/mongodb
0
0
Fork 0
mirror of https://github.com/mongodb/mongo.git synced 2024-11-24 00:17:37 +01:00
Code Issues Releases Activity

SERVER-25814 Do not lint the js files in the tools import

Browse Source
This commit is contained in:
Ramon Fernandez 2016-08-25 19:08:09 -04:00
parent c0a54c7475
commit e9ad3d5d40
2 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.eslintignore Normal file
View File

@ -0,0 +1 @@
src/mongo/gotools/*

3
buildscripts/clang_format.py
View File

@ -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)$')