mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-09 11:25:00 +00:00
Bug 593133 - TM: PGO doesn't use tracejit profile. r=dmandelin
This commit is contained in:
parent
e0a599db4b
commit
6acb8dc8a4
@ -345,7 +345,7 @@ user_pref("accessibility.typeaheadfind.autostart", false);
|
||||
user_pref("javascript.options.showInConsole", true);
|
||||
user_pref("layout.debug.enable_data_xbl", true);
|
||||
user_pref("browser.EULA.override", true);
|
||||
user_pref("javascript.options.jit.content", false);
|
||||
user_pref("javascript.options.tracejit.content", true);
|
||||
user_pref("javascript.options.methodjit.content", true);
|
||||
user_pref("gfx.color_management.force_srgb", true);
|
||||
user_pref("network.manage-offline-status", false);
|
||||
|
@ -27,7 +27,9 @@ user_pref("browser.cache.check_doc_frequency", 1);
|
||||
user_pref("extensions.checkCompatibility", false);
|
||||
user_pref("extensions.checkUpdateSecurity", false);
|
||||
user_pref("browser.EULA.override", true);
|
||||
user_pref("javascript.options.jit.chrome", true);
|
||||
user_pref("javascript.options.jit.content", true);
|
||||
user_pref("javascript.options.tracejit.chrome", true);
|
||||
user_pref("javascript.options.tracejit.content", true);
|
||||
user_pref("javascript.options.methodjit.chrome", false);
|
||||
user_pref("javascript.options.methodjit.content", true);
|
||||
user_pref("javascript.options.strict", false);
|
||||
user_pref("javascript.options.werror", false);
|
||||
|
@ -1,5 +1,5 @@
|
||||
pref("toolkit.defaultChromeURI", "chrome://tile/content/foo.xul");
|
||||
pref("javascript.options.jit.chrome", true);
|
||||
pref("javascript.options.jit.content", false);
|
||||
pref("javascript.options.tracejit.chrome", true);
|
||||
pref("javascript.options.tracejit.content", false);
|
||||
pref("browser.dom.window.dump.enabled", true);
|
||||
pref("dom.ipc.tabs.enabled", true);
|
||||
|
Loading…
Reference in New Issue
Block a user