mirror of
https://github.com/mongodb/mongo.git
synced 2024-12-01 01:21:03 +01:00
Merge branch 'master' of git@github.com:mongodb/mongo
This commit is contained in:
commit
915e4d09ef
@ -384,7 +384,7 @@ if useJavaHome:
|
||||
if nix:
|
||||
env.Append( CPPFLAGS="-fPIC -fno-strict-aliasing -ggdb -pthread -Wall -Wsign-compare -Wno-unknown-pragmas" )
|
||||
env.Append( CXXFLAGS=" -Wnon-virtual-dtor " )
|
||||
env.Append( LINKFLAGS=" -fPIC " )
|
||||
env.Append( LINKFLAGS=" -fPIC -pthread " )
|
||||
env.Append( LIBS=[] )
|
||||
|
||||
if debugBuild:
|
||||
|
Loading…
Reference in New Issue
Block a user