mirrors/mongodb
mirrors/mongodb
0
0
Fork 0
mirror of https://github.com/mongodb/mongo.git synced 2024-12-01 01:21:03 +01:00
Code Issues Releases Activity

cleaner variant dir directories

Browse Source
This commit is contained in:
Eliot Horowitz 2012-01-21 19:50:45 -05:00
parent e885029b8f
commit ff0157a562
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
SConstruct
View File

@ -110,8 +110,10 @@ def get_variant_dir():
if o["nargs"] == 0:
a.append( name )
else:
a.append( name + "-" + get_option( name ) )
x = get_option( name )
x = re.sub( "[,\\\\/]" , "_" , x )
a.append( name + "_" + x )
s = "#build/${PYSYSPLATFORM}/"
if len(a) > 0: