diff options
author | Mathew Robinson <mathew.robinson@mongodb.com> | 2019-12-04 15:15:36 +0000 |
---|---|---|
committer | evergreen <evergreen@mongodb.com> | 2019-12-04 15:15:36 +0000 |
commit | 58abcf6577982367232a6c76d1ee277a4031ed3c (patch) | |
tree | 1d0651ebb01ed7170d04cfca82555556ceba4573 | |
parent | 79c90bc5554ec3edb4991db1b78a79f63ee49c0a (diff) | |
download | mongo-58abcf6577982367232a6c76d1ee277a4031ed3c.tar.gz |
SERVER-44390 Optimize for success in moduleconfig
-rw-r--r-- | buildscripts/moduleconfig.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/buildscripts/moduleconfig.py b/buildscripts/moduleconfig.py index 95554237339..b31a9dbf8db 100644 --- a/buildscripts/moduleconfig.py +++ b/buildscripts/moduleconfig.py @@ -57,7 +57,7 @@ def discover_modules(module_root, allowed_modules): print("skipping module: %s" % (name)) continue - if os.path.isfile(build_py): + try: print("adding module: %s" % (name)) fp = open(build_py, "r") try: @@ -68,6 +68,8 @@ def discover_modules(module_root, allowed_modules): found_modules.append(module) finally: fp.close() + except (FileNotFoundError, IOError): + pass return found_modules |