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

add colon to characters that are transformed when generating variant dir

Browse Source
This commit is contained in:
Eric Milkie 2012-12-14 17:54:43 -05:00
parent b21c528acf
commit 50759820a8
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
SConstruct
View File

@ -117,7 +117,7 @@ def get_variant_dir():
a.append( name )
else:
x = get_option( name )
x = re.sub( "[,\\\\/]" , "_" , x )
x = re.sub( "[:,\\\\/]" , "_" , x )
a.append( name + "_" + x )
s = "#build/${PYSYSPLATFORM}/"