0
0
mirror of https://github.com/mongodb/mongo.git synced 2024-11-30 17:10:48 +01:00

Don't run configure stuff on scons --help

This commit is contained in:
Mathias Stearn 2011-12-05 17:00:02 -05:00
parent a70fbc392c
commit 7d90cd2d20

View File

@ -187,6 +187,11 @@ for shortName in getThirdPartyShortNames():
add_option( "use-system-all" , "use all system libraries " + shortName , 0 , True )
# don't run configure if user calls --help
if GetOption('help'):
Return()
# --- environment setup ---
def removeIfInList( lst , thing ):