diff options
| -rw-r--r-- | buildscripts/errorcodes.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/buildscripts/errorcodes.py b/buildscripts/errorcodes.py index aee0861a093..3c177e8165a 100644 --- a/buildscripts/errorcodes.py +++ b/buildscripts/errorcodes.py @@ -8,7 +8,7 @@ def getAllSourceFiles( arr=None , prefix="." ): arr = [] for x in os.listdir( prefix ): - if x.startswith( "." ) or x.startswith( "pcre-" ) or x.startswith( "32bit" ): + if x.startswith( "." ) or x.startswith( "pcre-" ) or x.startswith( "32bit" ) or x.startswith( "mongodb-" ): continue full = prefix + "/" + x if os.path.isdir( full ): |