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

SERVER-19376 Make SpiderMonkey the default JS Engine

Browse Source
This commit is contained in:
Jason Carey 2015-07-21 11:24:29 -04:00
parent 2299f6b807
commit 2a6a8f7cf3
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

@ -217,7 +217,7 @@ add_option('wiredtiger',
js_engine_choices = ['v8-3.12', 'v8-3.25', 'mozjs', 'none'] js_engine_choices = ['v8-3.12', 'v8-3.25', 'mozjs', 'none']
add_option('js-engine', add_option('js-engine',
choices=js_engine_choices, choices=js_engine_choices,
default=js_engine_choices[0], default=js_engine_choices[2],
help='JavaScript scripting engine implementation', help='JavaScript scripting engine implementation',
type='choice', type='choice',
) )