mirror of
https://github.com/mongodb/mongo.git
synced 2024-12-01 09:32:32 +01:00
Merge branch 'master' of github.com:mongodb/mongo
This commit is contained in:
commit
08be14dd9f
@ -1169,7 +1169,7 @@ elif not onlyServer:
|
||||
shell32BitFiles.append( "32bit/" + str( f ) )
|
||||
for f in scriptingFiles:
|
||||
shell32BitFiles.append( "32bit/" + str( f ) )
|
||||
shellEnv.VariantDir( "32bit" , "." , duplicate=0 )
|
||||
shellEnv.VariantDir( "32bit" , "." , duplicate=1 )
|
||||
else:
|
||||
shellEnv.Prepend( LIBPATH=[ "." ] )
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user