mirror of
https://github.com/servo/servo.git
synced 2025-08-06 14:10:11 +01:00
Add js.disable_jit
pref (#34231)
Signed-off-by: sagudev <16504129+sagudev@users.noreply.github.com>
This commit is contained in:
parent
5e7664b72e
commit
873e82a532
3 changed files with 7 additions and 0 deletions
|
@ -435,6 +435,8 @@ mod gen {
|
|||
baseline_interpreter: {
|
||||
enabled: bool,
|
||||
},
|
||||
/// Whether to disable the jit within SpiderMonkey
|
||||
disable_jit: bool,
|
||||
baseline_jit: {
|
||||
enabled: bool,
|
||||
unsafe_eager_compilation: {
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue