mirror of
https://github.com/mongodb/mongo.git
synced 2024-12-01 09:32:32 +01:00
don't look at module links
This commit is contained in:
parent
9051766500
commit
4d201c39db
@ -12,7 +12,7 @@ def getAllSourceFiles( arr=None , prefix="." ):
|
||||
if x.startswith( "." ) or x.startswith( "pcre-" ) or x.startswith( "32bit" ) or x.startswith( "mongodb-" ) or x.startswith("debian") or x.startswith( "mongo-cxx-driver" ):
|
||||
continue
|
||||
full = prefix + "/" + x
|
||||
if os.path.isdir( full ):
|
||||
if os.path.isdir( full ) and not os.path.islink( full ):
|
||||
getAllSourceFiles( arr , full )
|
||||
else:
|
||||
if full.endswith( ".cpp" ) or full.endswith( ".h" ) or full.endswith( ".c" ):
|
||||
|
Loading…
Reference in New Issue
Block a user