mirror of
https://github.com/mongodb/mongo.git
synced 2024-11-29 16:47:28 +01:00
fix 64-bit osx
This commit is contained in:
parent
d5a5401f9a
commit
35dc5cd0fd
@ -8,7 +8,7 @@ def getAllSourceFiles( arr=None , prefix="." ):
|
||||
arr = []
|
||||
|
||||
for x in os.listdir( prefix ):
|
||||
if x.startswith( "." ) or x.startswith( "pcre-" ):
|
||||
if x.startswith( "." ) or x.startswith( "pcre-" ) or x.startswith( "32bit" ):
|
||||
continue
|
||||
full = prefix + "/" + x
|
||||
if os.path.isdir( full ):
|
||||
|
Loading…
Reference in New Issue
Block a user