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

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

Browse Source 
This reverts commit e9ad3d5d40.
This commit is contained in:
Ramon Fernandez 2016-08-26 16:54:42 -04:00
parent 6bf9fd2e5a
commit 2a0e9dbf6e
2 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.eslintignore
View File

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

3
buildscripts/clang_format.py
View File

@ -500,8 +500,7 @@ 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/mongo/gotools/")]
and not line.startswith("src/third_party")]
files_match = re.compile('\\.(h|cpp|js)$')